Artificial Intelligence and Symbolic Mathematical Computation: International Conference Aismc-3, Steyr, Austria, September, 23-25, 1996, Proceedings - Lecture Notes in Computer Science - Jaques Calmet - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540617327 - keskiviikko 11. syyskuuta 1996
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Jaques Calmet
Artificial Intelligence and Symbolic Mathematical Computation: International Conference Aismc-3, Steyr, Austria, September, 23-25, 1996, Proceedings - Lecture Notes in Computer Science

Hinta
SFr. 48,49

Tilattu etävarastosta

Arvioitu toimitus pe - ma 5. - 15. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

The 19 papers presented in this text were selected by the programme committee of the Third International Conference on Artificial Intelligence and Symbololic Mathematical Computation. Topics addressed include theorem proving, rewriting systems, symbolic computation, and spatial reasoning.

384 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 11. syyskuuta 1996
ISBN13 9783540617327
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 384
Mitta 156 × 234 × 20 mm   ·   553 g
Kieli Saksa  
Toimittaja Calmet, Jacques C.
Toimittaja Campbell, J.a.
Toimittaja Pfalzgraf, Jochen (University of Linz, Austria)
Näytä kaikki

Lisää tuotteita Jaques Calmet

Katso kaikki joka sisältää Jaques Calmet ( Esim. Paperback Book )