A resolution principle for a logic with restricted quantifiers
By: H.-J. Bürckert.
Series: Lecture notes in computer science;; 568.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 568.; Lecture notes in computer science. Lecture notes in artificial intelligence.
Publisher: Springer-Verlag
Published: 1991
Place of publication: Berlin; New York
Language: eng
Number of pages: 116
Subjects: Automatic theorem proving; Logic, Symbolic and mathematical
Notes: Includes bibliographical references (p. [101]-109) and indexes.