- Home /
- Books /
- Educational and Professional Books /
- Academic and Professional Books /
- Computers Internet Books /
- Others Books /
- Expert Systems Books / Automated Reasoning with Analytic Tableaux and Related Methods 22th International Conference Tableaux 2013 Nancy France September 16-19 2013 Pr
Automated Reasoning with Analytic Tableaux and Related Methods 22th International Conference Tableaux 2013 Nancy France September 16-19 2013 Pr - 9783642405365
Dennis R Cohan , Erica Sadun , Dennis R CohenAbout the Book :
- Language : English
- Binding : Paperback
- Contributors : Dennis R. Cohan, Erica Sadun, Dennis R. Cohen
Automated Reasoning with Analytic Tableaux and Related Methods 22th International Conference Tableaux 2013 Nancy France September 16-19 2013 Pr Details :
DETAILS
- Language : English
- Binding : Paperback
- Contributors : Dennis R. Cohan, Erica Sadun, Dennis R. Cohen
Automated Reasoning with Analytic Tableaux and Related Methods 22th International Conference Tableaux 2013 Nancy France September 16-19 2013 Pr Price History
- The best price for Automated Reasoning with Analytic Tableaux and Related Methods 22th International Conference Tableaux 2013 Nancy France September 16-19 2013 Pr in India is Rs. as per June 26, 2024, 8:44 pm
- 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