Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science - David M. Sandford - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540102311 - perjantai 1. elokuuta 1980
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science 1980 edition

David M. Sandford

Hinta
¥ 9.036,50

Tilattu etävarastosta

Arvioitu toimitus pe 25. heinä - ma 4. elo

Asiakkaamme sanovat:

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

Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science 1980 edition

242 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 1. elokuuta 1980
ISBN13 9783540102311
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 242
Mitta 155 × 233 × 13 mm   ·   367 g
Kieli English  

Katso kaikki joka sisältää David M. Sandford ( Esim. Paperback Book )