Instantiation theory : on the foundations of automated deduction

Bibliographic Information

Instantiation theory : on the foundations of automated deduction

J.G. Williams

(Lecture notes in computer science, 518 . Lecture notes in artificial intelligence)

Springer-Verlag, c1991

  • : gw
  • : us

Available at  / 52 libraries

Search this Book/Journal

Note

Bibliographical references: p. [128]-133

Related Books: 1-1 of 1

Details

  • NCID
    BA1276137X
  • ISBN
    • 3540543333
    • 0387543333
  • LCCN
    91025004
  • Country Code
    gw
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Berlin ; New York
  • Pages/Volumes
    viii, 133 p.
  • Size
    25 cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top