- Home /
- Books /
- Educational and Professional Books /
- Academic and Professional Books /
- Computers Internet Books /
- Computer Science Books /
- Intelligence AI Semantics Books / Theorem Proving in Higher Order Logics 20th International Conference TPHOLs 2007 Kaiserslautern Germany September 10-13 2007 Proceedings Lecture Computer Science and General Issues
Theorem Proving in Higher Order Logics 20th International Conference TPHOLs 2007 Kaiserslautern Germany September 10-13 2007 Proceedings Lecture Computer Science and General Issues - 9783540745907
About the Book :
- Language : English
- Binding : Paperback
- Contributors :
Theorem Proving in Higher Order Logics 20th International Conference TPHOLs 2007 Kaiserslautern Germany September 10-13 2007 Proceedings Lecture Computer Science and General Issues Details :
DETAILS
- Language : English
- Binding : Paperback
- Contributors :
Theorem Proving in Higher Order Logics 20th International Conference TPHOLs 2007 Kaiserslautern Germany September 10-13 2007 Proceedings Lecture Computer Science and General Issues Price History
- The best price for Theorem Proving in Higher Order Logics 20th International Conference TPHOLs 2007 Kaiserslautern Germany September 10-13 2007 Proceedings Lecture Computer Science and General Issues in India is Rs. as per December 19, 2024, 6:05 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
Theorem Proving in Higher Order Logics 20th International Conference TPHOLs 2007 Kaiserslautern Germany September 10-13 2007 Proceedings Lecture Computer Science and General Issues Related Books :
₹445 onwards
- Roger Penrose, Martin Gardner, Martin Gardner
₹1115 onwards
- Daniel McNeill, Dan McNeill
₹2496 onwards
- B. J. Fogg
