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 - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540000105 - 2 oktober 2002
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
A$ 111,71

Besteld in een afgelegen magazijn

Verwachte levering 13 - 24 jun.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst
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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 2 oktober 2002
ISBN13 9783540000105
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 470
Afmetingen 155 × 235 × 24 mm   ·   716 g
Taal en grammatica Duits  
Uitgever Baaz, Matthias
Uitgever Voronkov, Andrei

Bekijk alles van M Baaz ( bijv. Paperback Book )