A resolution principle for a logic with restricted quantifiers
Author(s)
Bibliographic Information
A resolution principle for a logic with restricted quantifiers
（Lecture notes in computer science, 568 . Lecture notes in artificial intelligence）
Springer Verlag, c1991
- : gw
- : us
Available at / 48 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||56891069017
-
Kochi University of Technology.Library
: Berlin007||L49||568000178822,
: gw007||L49||56800017882 -
University of Tsukuba Library, Library on Library and Information Science
: Berlin007.08:L-49:568911011370
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. [101]-109) and indexes
