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 - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540000105 - 2. oktober 2002
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
NZD 113,75

Bestilles fra fjernlager

Forventes klar til forsendelse 16. - 22. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 2. oktober 2002
ISBN13 9783540000105
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 470
Mål 155 × 235 × 24 mm   ·   716 g
Sprog Tysk  
Klipper/redaktør Baaz, Matthias
Klipper/redaktør Voronkov, Andrei

Se alt med M Baaz ( f.eks. Paperback Bog )