Instantiation theory : on the foundations of automated deduction
Author(s)
Bibliographic Information
Instantiation theory : on the foundations of automated deduction
（Lecture notes in computer science, 518 . Lecture notes in artificial intelligence）
Springer-Verlag, c1991
- : gw
- : us
Available at / 52 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||51891037443
-
Kochi University of Technology.Library
: Berlin007||L49||518000175604,
: gw007||L49||51800017560 -
University of Tsukuba Library, Library on Library and Information Science
: Berlin007.08:L-49:518911004780
-
No Libraries matched.
- Remove all filters.
Note
Bibliographical references: p. [128]-133
