Resolution Methods for the Decision Problem - Lecture Notes in Computer Science - C. Fermuller - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540567325 - 29. julija 1993
Če se naslovnica in naslov ne ujemata, je naslov pravilen

C. Fermuller
Resolution Methods for the Decision Problem - Lecture Notes in Computer Science 1993 edition

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 17. - 25. jun

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

This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia) and Vienna (Austria). Among the topics covered are: semantic clash resolution as decision procedure; completeness of ordering refinements; and a resolution based method for building finite models.

248 pages, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 29. julija 1993
ISBN13 9783540567325
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 248
Dimenzije 155 × 233 × 11 mm   ·   312 g
Jezik Angleščina  

Mere med samme udgiver

Ogled vseh C. Fermuller ( Na primer Paperback Book )