The Resource Deduction systems, Rolf Socher-Ambrosius, Patricia Johann

Deduction systems, Rolf Socher-Ambrosius, Patricia Johann

Label
Deduction systems
Title
Deduction systems
Statement of responsibility
Rolf Socher-Ambrosius, Patricia Johann
Creator
Contributor
Subject
Language
eng
Summary
This graduate-level text offers a theoretical treatment of the fundamental concepts and methods of automated deduction. In a presentation of first-order resolution theorem proving that also covers resolution in order-sorted first-order logic, this book provides a self-contained account suitable for students coming to the subject for the first time. Both Gentzen-style sequent calculi and the refutation method known as resolution are treated in detail. Various strategies for pruning resolution search spaces - such as linear, hyper- and ordered resolution - are also covered. Numerous examples are presented to illustrate the concepts discussed. Students will find this a readily accessible introduction to the subject
Member of
Cataloging source
DLC
http://library.link/vocab/creatorName
Socher-Ambrosius, Rolf
Illustrations
illustrations
Index
index present
LC call number
QA76.9.A96
LC item number
S63 1997
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Johann, Patricia
Series statement
Graduate texts in computer science
http://library.link/vocab/subjectName
  • Automatic theorem proving
  • Automatic theorem proving
  • Automatische bewijsvoering
  • Deductie
  • Théorèmes
  • Logique du premier ordre
  • Deduktionssystem
Label
Deduction systems, Rolf Socher-Ambrosius, Patricia Johann
Instantiates
Publication
Bibliography note
Includes bibliographical references (p. [199]-200) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. Introduction -- 2. Mathematical Preliminaries -- 3. Syntax of First-order Languages -- 4. Semantics of First-order Languages -- 5. The Gentzen Calculus G -- 6. Normal Forms and Herbrand's Theorem -- 7. Resolution and Unification -- 8. Improving Deduction Efficiency -- 9. Resolution in Sorted Logic
Dimensions
25 cm.
Extent
xii, 206 pages
Isbn
9780387948478
Isbn Type
(acid-free paper)
Lccn
96032221
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)35084395
  • (OCoLC)ocm35084395
Label
Deduction systems, Rolf Socher-Ambrosius, Patricia Johann
Publication
Bibliography note
Includes bibliographical references (p. [199]-200) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. Introduction -- 2. Mathematical Preliminaries -- 3. Syntax of First-order Languages -- 4. Semantics of First-order Languages -- 5. The Gentzen Calculus G -- 6. Normal Forms and Herbrand's Theorem -- 7. Resolution and Unification -- 8. Improving Deduction Efficiency -- 9. Resolution in Sorted Logic
Dimensions
25 cm.
Extent
xii, 206 pages
Isbn
9780387948478
Isbn Type
(acid-free paper)
Lccn
96032221
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)35084395
  • (OCoLC)ocm35084395

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...