Research Catalog

Instantiation theory : on the foundations of automated deduction

Title
Instantiation theory : on the foundations of automated deduction / J.G. Williams.
Author
Williams, James G.
Publication
Berlin ; New York : Springer-Verlag, c1991.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextRequest in advance JSF 91-842Offsite

Details

Description
viii, 133 p. : ill.; 24 cm.
Series Statement
Lecture notes in computer science ; 518. Lecture notes in artificial intelligence
Uniform Title
  • Lecture notes in computer science ; 518.
  • Lecture notes in computer science. Lecture notes in artificial intelligence.
Subject
Bibliography (note)
  • Includes bibliographical references (p. [128]-133).
Call Number
JSF 91-842
ISBN
  • 3540543333 (Berlin)
  • 0387543333 (New York)
LCCN
91025004
OCLC
  • 24144032
  • NYPG91-B70982
Author
Williams, James G.
Title
Instantiation theory : on the foundations of automated deduction / J.G. Williams.
Imprint
Berlin ; New York : Springer-Verlag, c1991.
Series
Lecture notes in computer science ; 518. Lecture notes in artificial intelligence
Lecture notes in computer science ; 518.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Bibliography
Includes bibliographical references (p. [128]-133).
Research Call Number
JSF 91-842
View in Legacy Catalog