Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings - Lecture Notes in Artificial Intelligence - M Baaz - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540000105 - keskiviikko 2. lokakuuta 2002
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings - Lecture Notes in Artificial Intelligence 2002 edition

M Baaz

Hinta
₩ 100.650

Tilattu etävarastosta

Arvioitu toimitus ma - ke 2. - 11. kesä

Asiakkaamme sanovat:

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

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings - Lecture Notes in Artificial Intelligence 2002 edition

Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning.

470 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 2. lokakuuta 2002
ISBN13 9783540000105
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 470
Mitta 155 × 235 × 24 mm   ·   716 g
Kieli German  
Toimittaja Baaz, Matthias
Toimittaja Voronkov, Andrei

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