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øker - Springer-Verlag Berlin and Heidelberg Gm - 9783540000105 - 2. oktober 2002
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
Íkr 6.659

Bestillingsvarer

Forventes levert 17. - 25. jul

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 2. oktober 2002
ISBN13 9783540000105
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 470
Mål 155 × 235 × 24 mm   ·   716 g
Språk Tysk  
Redaktør Baaz, Matthias
Redaktør Voronkov, Andrei

Se alt med M Baaz ( f.eks. Pocketbok )