Coverart for item
The Resource Deduction Systems, by Rolf Socher-Ambrosius, Patricia Johann

Deduction Systems, by Rolf Socher-Ambrosius, Patricia Johann

Label
Deduction Systems
Title
Deduction Systems
Statement of responsibility
by 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. By presenting an account which covers resolution theorem-proving in order-sorted first-order logic it 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 covered. Numerous examples are presented to illustrate the examples discussed. As a result students will find this a readily accessible introduction to this subject
Member of
http://library.link/vocab/creatorName
Socher-Ambrosius, Rolf
Dewey number
004.0151
Illustrations
illustrations
Index
no index present
Language note
English
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Johann, Patricia
Series statement
Graduate Texts in Computer Science,
http://library.link/vocab/subjectName
  • Computer science
  • Information theory
Label
Deduction Systems, by Rolf Socher-Ambrosius, Patricia Johann
Instantiates
Publication
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references (p. [199]-200) and index
Color
mixed
Contents
Mathematical Preliminaries -- Syntax of first-order languages -- Semantics of first-order languages -- The Gentzen calculus G. Normal Forms and Herbrand's Theorem -- Resolution and unification -- Improved Deduction efficiency -- Resolution in sorted logic
Control code
ocn853263194
Dimensions
unknown
Extent
1 online resource (xii, 206 pages 34 illustrations)
File format
unknown
Form of item
online
Isbn
9781461222668
Level of compression
uncompressed
Note
SpringerLink
Quality assurance targets
unknown
Reformatting quality
access
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)853263194
Label
Deduction Systems, by Rolf Socher-Ambrosius, Patricia Johann
Publication
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references (p. [199]-200) and index
Color
mixed
Contents
Mathematical Preliminaries -- Syntax of first-order languages -- Semantics of first-order languages -- The Gentzen calculus G. Normal Forms and Herbrand's Theorem -- Resolution and unification -- Improved Deduction efficiency -- Resolution in sorted logic
Control code
ocn853263194
Dimensions
unknown
Extent
1 online resource (xii, 206 pages 34 illustrations)
File format
unknown
Form of item
online
Isbn
9781461222668
Level of compression
uncompressed
Note
SpringerLink
Quality assurance targets
unknown
Reformatting quality
access
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)853263194

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...