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
¥ 30.409
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 11 - 17 de jul
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Também disponível como:
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
BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.
448 pages, biography
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 30 de junho de 1998 |
| ISBN13 | 9780792351306 |
| Editoras | Springer |
| Páginas | 434 |
| Dimensões | 160 × 241 × 29 mm · 807 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)
