A Resolution Principle for a Logic with Restricted Quantifiers - Lecture Notes in Computer Science - Hans-jurgen Burckert - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540550341 - 11. decembra 1991
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 28. sep - 6. okt
Prejemajte obvestila o novih izdajah izvajalca Hans-jurgen Burckert

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 11. decembra 1991
ISBN13 9783540550341
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 120
Dimenzije 156 × 234 × 7 mm   ·   195 g
Jezik Angleščina  

Več od istega **izdajatelja**

Ogled vseh Hans-jurgen Burckert