Offerte Mechanizing mathematical reasoning: essays in honor of jörg h. siekmann on the occasion of his 60th birthday: essays in honor of jorg h. siekmann on the occasion of his 60th birthday: 2605
Prezzo:106,99 €Marca:Springer
Categoria:Programmazione Springer
ISBN:3540250514
EAN:9783540250517
Autore:Dieter Hutter, Werner Stephan
N. Pagine:580 pagine
Data pubbl.:2008-06-13T00:00:01Z
Recensioni:Leggi opinioni su mechanizing mathematical reasoning essays in honor of j
Valutazione: 4.4
Quale scegliere tra i prodotti: Programmazione Springer?
Programmazione, Informatica, Web e Digital Media, Libri, Scienza dei calcolatori, Matematica, Scienze, tecnologia e medicina, Matematica elementare per ragazzi, Matematica per ragazzi, Testi di formazione e consultazione per ragazzi, Adolescenti e ragazzi, Intelligenza artificiale, Libri universitari informatica, Libri universitari, Progettazione e ingegneria del software, Libri in inglese, Featured Categories, Libri in altre lingue, Regular Stores, 473ad6e2-bc18-439b-b9c5-bb4af119f847_4001, 473ad6e2-bc18-439b-b9c5-bb4af119f847_0, Special Features Stores, Self Service, Arborist Merchandising Root, Content Stores, 473ad6e2-bc18-439b-b9c5-bb4af119f847_7501, Foreign (all), 473ad6e2-bc18-439b-b9c5-bb4af119f847_5101
Confronta Prodotti: Programmazione