Research Catalog

Using sophisticated models in resolution theorem proving

Title
Using sophisticated models in resolution theorem proving / David M. Sandford.
Author
Sandford, David M.
Publication
Berlin ; New York : Springer-Verlag, 1980.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/TextUse in library QA76.9.A96 xS26Off-site

Details

Description
xi, 239 pages; 25 cm
Series Statement
Lecture notes in computer science ; 90
Uniform Title
Lecture notes in computer science ; 90.
Subject
  • Automatic theorem proving
  • Mathematics > Data processing
  • Automatisches Beweisverfahren
  • Künstliche Intelligenz
  • Logik
Note
  • "Slightly edited version of the author's Ph. D. thesis, which was originally entitled "HL-resolution: a semantic refinement of resolution and a theory of model specification." cf. pref.
Bibliography (note)
  • Includes bibliographical references and index.
Contents
1 Introduction -- 2 Hereditary lock resolution -- 3 Completeness of HL-resolution -- 4 Models -- 5 Discussion of HLR.
ISBN
  • 0387102310
  • 9780387102313
  • 3540102310
  • 9783540102311
  • 2540102310 (canceled/invalid)
LCCN
81149237
OCLC
  • ocm06881445
  • 6881445
  • SCSB-31065
Owning Institutions
Princeton University Library