A Resolution Principle for a Logic with Restricted Quantifiers - Lecture Notes in Computer Science - Hans-jurgen Burckert - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540550341 - December 11, 1991
In case cover and title do not match, the title is correct

Hans-jurgen Burckert
A Resolution Principle for a Logic with Restricted Quantifiers - Lecture Notes in Computer Science 1991 edition

Price
HK$ 437
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 6 - 10

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

120 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 11, 1991
ISBN13 9783540550341
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 120
Dimensions 156 × 234 × 7 mm   ·   195 g
Language English  

Mere med samme udgiver

See all of Hans-jurgen Burckert ( e.g. Paperback Book )