- Home /
- Books /
- Educational and Professional Books /
- Academic and Professional Books /
- Computers Internet Books /
- Computer Science Books /
- Intelligence AI Semantics Books / Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference TABLEAUX 2011 Bern Switzerland July 4-8 2011 Proce
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference TABLEAUX 2011 Bern Switzerland July 4-8 2011 Proce - 9783642221187
Hans-Jarg BullingerAbout the Book :
- Language : English
- Binding : Paperback
- Contributors : Hans-Jarg Bullinger, Klaus-Peter Fahnrich, Klaus-Peter F. Hnrich
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference TABLEAUX 2011 Bern Switzerland July 4-8 2011 Proce Details :
DETAILS
- Language : English
- Binding : Paperback
- Contributors : Hans-Jarg Bullinger, Klaus-Peter Fahnrich, Klaus-Peter F. Hnrich
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference TABLEAUX 2011 Bern Switzerland July 4-8 2011 Proce Price History
- The best price for Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference TABLEAUX 2011 Bern Switzerland July 4-8 2011 Proce in India is Rs. as per December 19, 2024, 3:48 am
- You save NAN% by purchasing it at for over which sells it for
- The prices for is valid in all major cities of India including Bangalore, Delhi, Hyderabad, Chennai, Mumbai, Kolkata and Pune. Please check instructions at the specific stores for any deviation.
- All prices mentioned above are in INR