Price Comparison for Indian Stores
Gift cards @ 3% Off Coupons Deals Tatkal Booking Extension Careers at Buyhatke
Mobile App App
Chrome Extension

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

N/A
₹7085
See all Prices
See Price Trend

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 :
Read The Full Specification

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 April 25, 2024, 7:53 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 :

The Emperor s New Mind Concerning Computers Minds And The Laws Of Physics 1st Edition
The Emperor s New Mind Concerning Computers Minds And The Laws Of Physics 1st Edition
₹445 onwards
  • Roger Penrose, Martin Gardner, Martin Gardner
On Intelligence
On Intelligence
₹621 onwards
  • Jeff Hawkins
Fuzzy Logic The Revolutionary Computer Technology That Is Changing Our World Reprint Edition
Fuzzy Logic The Revolutionary Computer Technology That Is Changing Our World Reprint Edition
₹1115 onwards
  • Daniel McNeill, Dan McNeill
Learning from Data Artificial Intelligence and Statistics V
Learning from Data Artificial Intelligence and Statistics V
₹4049 onwards
  • Luc Nisset
Applications of Automata Theory and Algebra Via the Mathematical Theory of Complexity to Biology Physics Psychology Philosophy and Games
Applications of Automata Theory and Algebra Via the Mathematical Theory of Complexity to Biology Physics Psychology Philosophy and Games
₹3027 onwards
  • John Rhodes
Type-2 Fuzzy Logic in Intelligent Control Applications 2012th Edition
Type-2 Fuzzy Logic in Intelligent Control Applications 2012th Edition
₹9455 onwards
  • Oscar Castillo
AI Game Programming Wisdom 3 With CDROM
AI Game Programming Wisdom 3 With CDROM
₹3078 onwards
  • Astrid Lindgren
AI Techniques for Game Programming With CDROM
AI Techniques for Game Programming With CDROM
₹6469 onwards
  • Mark Collins, Mat Buckland
Introduction To Artificial Intelligence 1st Edition
Introduction To Artificial Intelligence 1st Edition
₹261 onwards
  • Akerkar Rajendra
On Intuitionistic Fuzzy Sets Theory
On Intuitionistic Fuzzy Sets Theory
₹10527 onwards
  • Krassimir T. Atanassov
Fundamentals Of Artificial Neural Networks 1st Edition
Fundamentals Of Artificial Neural Networks 1st Edition
₹340 onwards
  • Hassoun H Mohamad
Artificial Intelligence
Artificial Intelligence
₹163 onwards
  • Pankaj Sharma
Persuasive Technology Using Computers to Change What We Think and Do 1st Edition
Persuasive Technology Using Computers to Change What We Think and Do 1st Edition
₹2496 onwards
  • B. J. Fogg
Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis Aamas Workshop Amec 2008 Estoril Portugal May 12-16 2008 and AAAI Work
Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis Aamas Workshop Amec 2008 Estoril Portugal May 12-16 2008 and AAAI Work
₹800 onwards
  • Joseph John Thomson
Knowledge-Based Vision-Guided Robots
Knowledge-Based Vision-Guided Robots
₹6334 onwards
  • Nick Barnes, Zhi-Quiang Liu
Fuzzy and Neuro-Fuzzy Intelligent Systems
Fuzzy and Neuro-Fuzzy Intelligent Systems
₹6631 onwards
  • Ernest Czogala, Jacek Leski
Machine Learning of Robot Assembly Plans
Machine Learning of Robot Assembly Plans
₹10071 onwards
  • Alberto Maria Segre, Alberto Maria Segre
Machine Learning Meta-Reasoning and Logics
Machine Learning Meta-Reasoning and Logics
₹12005 onwards
  • Mary Findley, Linda Formichelli
Learning from Good and Bad Data
Learning from Good and Bad Data
₹10065 onwards
  • Philip D. Laird, Philip D. Laird
Naive Semantics for Natural Language Understanding
Naive Semantics for Natural Language Understanding
₹17515 onwards
  • Kathleen Dahlgren
Big billion day flipkart 2019
Header
×
Text