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 W Bibel Softcover reprint of hardcover 1st ed. 1998 edition
Preço
R$ 1.202,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 2 - 6 de jan de 2026
Presentes de Natal podem ser trocados até 31 de janeiro
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
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.
450 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 6 de dezembro de 2010 |
| ISBN13 | 9789048150519 |
| Editoras | Springer |
| Páginas | 434 |
| Dimensões | 160 × 240 × 23 mm · 625 g |
| 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)
