Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science - David Basin - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540406648 - torstai 21. elokuuta 2003
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

David Basin

Hinta
Íkr 7.467,90

Tilattu etävarastosta

Arvioitu toimitus ti - ke 4. - 12. marras
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy.

366 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 21. elokuuta 2003
ISBN13 9783540406648
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 366
Mitta 155 × 233 × 20 mm   ·   535 g
Kieli German  
Toimittaja Basin, David
Toimittaja Wolff, Burkhart
Näytä kaikki

Lisää tuotteita David Basin

Katso kaikki joka sisältää David Basin ( Esim. Paperback Book Ja Hardcover Book )