Recomienda este artículo a tus amigos:
Automated Deduction: a Basis for Applications (Foundations - Calculi and Methodss, Systems and Implementation Techniques) - Applied Logic Series W Bibel
Precio
€ 141,99
Pedido desde almacén remoto
Entrega prevista 9 - 19 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Automated Deduction: a Basis for Applications (Foundations - Calculi and Methodss, Systems and Implementation Techniques) - Applied Logic Series
W Bibel
Features the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
335 pages, biography
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 30 de junio de 1998 |
| ISBN13 | 9780792351313 |
| Editores | Kluwer Academic Publishers |
| Páginas | 335 |
| Dimensiones | 160 × 242 × 26 mm · 671 g |
| Lengua | Inglés |
| Editor | Bibel, Wolfgang |
| Editor | Schmitt, Peter H. |
![Cover for W Bibel · Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series (Paperback Book) [Softcover reprint of hardcover 1st ed. 1998 edition] (2010)](https://imusic.b-cdn.net/images/item/original/502/9789048150502.jpg?w-bibel-2010-automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-methods-volume-ii-systems-and-implementation-techniques-volume-iii-applications-applied-logic-series-paperback-book&class=scaled&v=1505146334)
![Cover for W Bibel · Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series (Paperback Book) [1st Ed. Softcover of Orig. Ed. 1998 edition] (2010)](https://imusic.b-cdn.net/images/item/original/526/9789048150526.jpg?w-bibel-2010-automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-methods-volume-ii-systems-and-implementation-techniques-volume-iii-applications-applied-logic-series-paperback-book&class=scaled&v=1505146334)
![Cover for W Bibel · Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series (Paperback Book) [Softcover reprint of hardcover 1st ed. 1998 edition] (2010)](https://imusic.b-cdn.net/images/item/original/519/9789048150519.jpg?w-bibel-2010-automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-methods-volume-ii-systems-and-implementation-techniques-volume-iii-applications-applied-logic-series-paperback-book&class=scaled&v=1543837160)
![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)
![Cover for W Bibel · Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/290/9780792351290.jpg?w-bibel-1998-automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-methods-volume-ii-systems-and-implementation-techniques-volume-iii-applications-applied-logic-series-hardcover-book&class=scaled&v=1427529387)
![Cover for W Bibel · Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/306/9780792351306.jpg?w-bibel-1998-automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-methods-volume-ii-systems-and-implementation-techniques-volume-iii-applications-applied-logic-series-hardcover-book&class=scaled&v=1463402285)
