Resolution Methods for the Decision Problem - Lecture Notes in Computer Science - C. Fermuller - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540567325 - torstai 29. heinäkuuta 1993
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 54,49

Tilattu etävarastosta

Arvioitu toimitus ti - ke 16. - 24. kesä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 29. heinäkuuta 1993
ISBN13 9783540567325
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 248
Mitta 155 × 233 × 11 mm   ·   312 g
Kieli Englanti  

Mere med samme udgiver

Katso kaikki joka sisältää C. Fermuller ( Esim. Paperback Book )