- Home /
- Books /
- Educational and Professional Books /
- Academic and Professional Books /
- Medical Books /
- Allied Health Books /
- Allied Health Services Books /
- General Books / Automated Deduction - CADE-18 18th International Conference on Automated Deduction Copenhagen Denmark July 27-30 2002 Proceedings Lecture Notes in Lecture Notes in Artificial Intelligence
Automated Deduction - CADE-18 18th International Conference on Automated Deduction Copenhagen Denmark July 27-30 2002 Proceedings Lecture Notes in Lecture Notes in Artificial Intelligence - 9783540439318
A VoronkovAbout the Book :
- Language : English
- Binding : Paperback
- Contributors : A. Voronkov
Automated Deduction - CADE-18 18th International Conference on Automated Deduction Copenhagen Denmark July 27-30 2002 Proceedings Lecture Notes in Lecture Notes in Artificial Intelligence Details :
DETAILS
- Language : English
- Binding : Paperback
- Contributors : A. Voronkov
Automated Deduction - CADE-18 18th International Conference on Automated Deduction Copenhagen Denmark July 27-30 2002 Proceedings Lecture Notes in Lecture Notes in Artificial Intelligence Price History
- The best price for Automated Deduction - CADE-18 18th International Conference on Automated Deduction Copenhagen Denmark July 27-30 2002 Proceedings Lecture Notes in Lecture Notes in Artificial Intelligence in India is Rs. as per November 23, 2024, 5:57 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