• Education & Business Solutions Opens in new window

Higher Order Logic Theorem Proving and its Applications
Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992

Cover image: Higher Order Logic Theorem Proving and its Applications 9780444898807
  • Author(s)
    Author
  • Publisher
    North Holland
  • Format
    Fixed Layout
  • Print ISBN 9780444898807, 0444898808
  • eText ISBN 9781483298405, 148329840X
  • Copyright
    1993
Buy eTextbook
‌‌
$253.90 NZD
‌
‌

  • Study Tools

    Built-in study tools like highlights and more

  • Read Aloud

    Listen and follow along as Bookshelf reads to you

  • Offline Access

    Access your eTextbook anytime and anywhere

  • Global Search

    Search across book content, figures, and your workbook

Learn More

VitalSource 25+ Years of Digital Transformation

  • 4500 Institutions

  • 230+ Countries & Territories

  • 10K+ Publishers

  • 18M+ Active Users

Higher Order Logic Theorem Proving and its Applications: Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992 is written by Author and published by North Holland. The Digital and eTextbook ISBNs for Higher Order Logic Theorem Proving and its Applications are 9781483298405, 148329840X and the print ISBNs are 9780444898807, 0444898808. Save up to 80% versus print by going digital with VitalSource.

Back to Top