Automated Theorem Proving: A Logical Basis

Cover image: Automated Theorem Proving: A Logical Basis 9780720404999
  • Author(s)
    D.W. Loveland
  • Publisher
    North Holland
  • Format
    Fixed Layout
  • Print ISBN 9780720404999, 0720404991
  • eText ISBN 9781483296777, 1483296776
  • Copyright
    1978
Buy eTextbook
‌‌
$72.95 USD
‌
‌
‌‌

  • 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

Automated Theorem Proving: A Logical Basis is written by D.W. Loveland and published by North Holland. The Digital and eTextbook ISBNs for Automated Theorem Proving: A Logical Basis are 9781483296777, 1483296776 and the print ISBNs are 9780720404999, 0720404991. Save up to 80% versus print by going digital with VitalSource. Additional ISBNs for this eTextbook include 9781493305513.

Back to Top