Conte aos seus amigos sobre este item:
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
Preço
₩ 96.990
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 3 - 12 de jun
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 2 de outubro de 2002 |
| ISBN13 | 9783540000105 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 470 |
| Dimensões | 155 × 235 × 24 mm · 716 g |
| Idioma | German |
| Editor | Baaz, Matthias |
| Editor | Voronkov, Andrei |
Ver tudo de M Baaz ( por exemplo Paperback Book )