Items related to A Resolution Principle for a Logic With Restricted...
A Resolution Principle for a Logic With Restricted Quantifiers (Lecture Notes in Computer Science) - Softcover
Synopsis
A Resolution Principle for a Logic with Restricted Quantifiers This monograph provides the formal basics of a scheme for predicate logic with restricted quantifiers taken as constraints. It gives the model theory and proof theory for this logic together with a sound and complete refutation calculus for constrained clauses. Full description
"synopsis" may belong to another edition of this title.
Search results for A Resolution Principle for a Logic With Restricted...
Seller Image
A Resolution Principle for a Logic With Restricted Quantifiers (Lecture Notes in Computer Science Artificial Intelligence 568)
Seller: Early Republic Books, Hopatcong, NJ, U.S.A.
Seller rating 4 out of 5 stars
TPB. Condition: G+. GOOD-PLUS TRADE-PAPERBACK. Seller Inventory # 88278
Stock Image
A Resolution Principle for a Logic With Restricted Quantifiers
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,300grams, ISBN:0387550348. Seller Inventory # 9604882
Buy Used
£ 11.96
£ 13.04 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
A Resolution Principle for a Logic with Restricted Quantifiers (Lecture Notes in Artificial Intelligence 568)
Published by
Springer-Verlag, Berlin, 1991
ISBN 10: 0387550348
ISBN 13: 9780387550343
Used
Paperback
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Dust Jacket Condition: No Dust Jacket. Lecture Notes in Artificial Intelligence 568. Ex-Library. Previous owner's sticker on front cover. Ink stamp on half-title. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex Library. Seller Inventory # 095220
Buy Used
£ 15.93
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available