Skip to main content
SpringerLink
Log in

Automated Theorem Proving

  • Book
  • © 1987

Overview

Authors:
  1. Wolfgang Bibel
    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Künstliche Intelligenz (KI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (5 chapters)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Natural and Formal Logic

    • Wolfgang Bibel
    Pages 1-10

  3. The Connection Method in Propositional Logic

    • Wolfgang Bibel
    Pages 11-54

  4. The Connection Method in First-Order Logic

    • Wolfgang Bibel
    Pages 55-113

  5. Variants and Improvements

    • Wolfgang Bibel
    Pages 115-206

  6. Applications and Extensions

    • Wolfgang Bibel
    Pages 207-261

  7. Back Matter

    Pages 263-289
    Download chapter PDF
Back to top

Keywords

About this book

Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to reflect the state of the art in the field. The most significant change is in the quality of the layout including the removal of a number of inaccuracies and typing errors. R. Caferra, E. Eder, F. van der Linden, and J. Muller have caught vanous minor errors. P. Haddawy and S.T. Pope have provided many stilistic improvements of the English text. Last not least, A. Bentrup and W. Fischer have produced the beautiful layout. The extensive work of typesetting was financally supported within ESPRIT pro­ ject 415. Munchen, September 1986 W. Bibel PREFACE Among the dreams of mankind is the one dealing with the mechanization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity. On the other hand, the incredi­ ble advances in computer technology let it appear as a real possibility.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation