ORPP logo
Image from Google Jackets

First-Order Logic and Automated Theorem Proving.

By: Material type: TextTextSeries: Texts in Computer Science SeriesPublisher: New York, NY : Springer, 1995Copyright date: ©1996Edition: 2nd edDescription: 1 online resource (337 pages)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9781461223603
Subject(s): Genre/Form: Additional physical formats: Print version:: First-Order Logic and Automated Theorem ProvingDDC classification:
  • 511.3
LOC classification:
  • QA267-268.5
Online resources:
Contents:
GRADUATE TEXTS IN COMPUTER SCIENCE -- FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING -- Copyright -- Preface -- Preface to the Second Edition -- Contents -- List of Tables -- 1 Background -- 2 Propositional Logic -- 3 Semantic Tableaux and Resolution -- 4 Other Prepositional Proof Procedures -- 5 First-Order Logic -- 6 First-Order Proof Procedures -- 7 Implementing Tableaux and Resolution -- 8 Further First-Order Features -- 9 Equality -- References -- Index.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

GRADUATE TEXTS IN COMPUTER SCIENCE -- FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING -- Copyright -- Preface -- Preface to the Second Edition -- Contents -- List of Tables -- 1 Background -- 2 Propositional Logic -- 3 Semantic Tableaux and Resolution -- 4 Other Prepositional Proof Procedures -- 5 First-Order Logic -- 6 First-Order Proof Procedures -- 7 Implementing Tableaux and Resolution -- 8 Further First-Order Features -- 9 Equality -- References -- Index.

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.

There are no comments on this title.

to post a comment.

© 2024 Resource Centre. All rights reserved.