Capa do artigo Automated Deduction - A Basis For Applications Volume I Foundations - Calculi And Methods Volume Ii Systems And Implementation Techniques Volume Iii A
10% OFF

Automated Deduction - A Basis For Applications Volume I Foundations - Calculi And Methods Volume Ii Systems And Implementation Techniques Volume Iii A eBook

language: english
Publisher: SPRINGER NETHERLANDS, March of 2013 ‧
171,59€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
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.

Automated Deduction - A Basis For Applications Volume I Foundations - Calculi And Methods Volume Ii Systems And Implementation Techniques Volume Iii A

Property Description
ISBN: 9789401704373
Publisher: SPRINGER NETHERLANDS
Release Date: March of 2013
Language: English
Format: eBook
Collection: Applied Logic Series
Categories: eBooks in English > Computing > Other Applications
eBooks in English > Social Sciences and Humanities > Philosophy
EAN: 9789401704373

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION