Conte aos seus amigos sobre este item:
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1998 edition
W Bibel
Preço
Mex$ 4.177,46
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 7 - 15 de ago
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Também disponível como:
-
Paperback Book1st Ed. Softcover of Orig. Ed. 1998 edition(2010) Mex$ 3.154,56
-
Hardcover Book1998 edition(1998) Mex$ 4.177,46
-
Paperback BookSoftcover reprint of hardcover 1st ed. 1998 edition(2010) Mex$ 4.177,46
-
Paperback BookSoftcover reprint of hardcover 1st ed. 1998 edition(2010) Mex$ 4.177,46
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1998 edition
W Bibel
rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.
481 pages, 1, black & white illustrations
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 30 de junho de 1998 |
| ISBN13 | 9780792351290 |
| Editoras | Springer |
| Páginas | 481 |
| Dimensões | 160 × 242 × 33 mm · 884 g |
| Idioma | English |
| Editor | Bibel, Wolfgang |
| Editor | Schmitt, P.H. |
![Cover for W Bibel · Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel - Applied Logic Series (Hardcover Book) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/616/9780792362616.jpg?w-bibel-2000-intellectics-and-computational-logic-papers-in-honor-of-wolfgang-bibel-applied-logic-series-hardcover-book&class=scaled&v=1443040645)
