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

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A - 9789048150519

N/A
₹23645
See all Prices
See Price Trend

About the Book :

  • Language : English
  • Binding : Paperback
  • Contributors :

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A Details :

DETAILS

  • Language : English
  • Binding : Paperback
  • Contributors :
Read The Full Specification

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A Price History

  • The best price for Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A in India is Rs. as per December 19, 2024, 2:52 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

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A Related Books :

Artificial Intelligence and Intelligent Systems 1st Edition
Artificial Intelligence and Intelligent Systems 1st Edition
₹387 onwards
  • N. P Padhy
Can We Afford to Grow Older
Can We Afford to Grow Older
₹1597 onwards
  • Richard Disney
Research and Development in Intelligent Systems XXIX Incorporating Applications and Innovations in Intelligent Systems XX Proceedings of AI-2012 the
Research and Development in Intelligent Systems XXIX Incorporating Applications and Innovations in Intelligent Systems XX Proceedings of AI-2012 the
₹19001 onwards
  • Paul Bausch, Matthew Haughey, Meg Hourihan
Handbook for Evaluating Knowledge-Based Systems Conceptual Framework and Compendium of Methods
Handbook for Evaluating Knowledge-Based Systems Conceptual Framework and Compendium of Methods
₹999 onwards
  • Sharon L. Riedel, Leonard Adelman, Sharon L. Riedel
Wissensbasierte Systeme 2 Internationaler GI-Kongress Munchen 20 21 Oktober 1987 German
Wissensbasierte Systeme 2 Internationaler GI-Kongress Munchen 20 21 Oktober 1987 German
₹4620 onwards
  • Brian Proffitt
Ontologie Und Axiomatik Der Wissensbasis Von Lilog Wissensmodellierung Im IBM Deutschland Lilog-Projekt German
Ontologie Und Axiomatik Der Wissensbasis Von Lilog Wissensmodellierung Im IBM Deutschland Lilog-Projekt German
₹4543 onwards
  • Andrea L. Ames, David R. Nadeau, John L. Moreland
Client Server-Anwendungen Planung Und Entwicklung German
Client Server-Anwendungen Planung Und Entwicklung German
₹4558 onwards
  • William H. Inmon
Inclusive Society Health and Wellbeing in the Community and Care at Home 11th International Conference on Smart Homes and Health Telematics Icost
Inclusive Society Health and Wellbeing in the Community and Care at Home 11th International Conference on Smart Homes and Health Telematics Icost
₹5672 onwards
  • Sharmin Rashid Linta, Ridgewan Khan, Faysal Ahmed
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
₹4666 onwards
  • Dennis R. Cohan, Erica Sadun, Dennis R. Cohen
Logical Structures for Representation of Knowledge and Uncertainty
Logical Structures for Representation of Knowledge and Uncertainty
₹12940 onwards
  • Ellen Hisdal
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
₹4666 onwards
  • Dennis R. Cohan, Erica Sadun, Dennis R. Cohen
Logical Structures for Representation of Knowledge and Uncertainty
Logical Structures for Representation of Knowledge and Uncertainty
₹12940 onwards
  • Ellen Hisdal
Softwareentwicklung Eingebetteter Systeme Grundlagen Modellierung Qualitatssicherung German
Softwareentwicklung Eingebetteter Systeme Grundlagen Modellierung Qualitatssicherung German
₹4688 onwards
  • Peter Scholz
Processing Declarative Knowledge International Workshop Pdk 91 Kaiserslautern Germany July 1-3 1991 Proceedings
Processing Declarative Knowledge International Workshop Pdk 91 Kaiserslautern Germany July 1-3 1991 Proceedings
₹7655 onwards
  • Miroslav Hari Majewski, M. Mohnen, T. Arts
Dependable Computing - Edcc 2005 5th European Dependable Computing Conference Budapest Hungary April 20-22 2005 Proceedings 1st Edition
Dependable Computing - Edcc 2005 5th European Dependable Computing Conference Budapest Hungary April 20-22 2005 Proceedings 1st Edition
₹800 onwards
  • Ann Shaffer, Patrick Carey, Roy Ageloff
Qualitative Spatio-Temporal Representation and Reasoning Trends and Future Directions
Qualitative Spatio-Temporal Representation and Reasoning Trends and Future Directions
₹13946 onwards
  • JOYCE, MOON
Advanced Topics in Artificial Intelligence International Summer School Prague Czechoslovakia July 6-17 1992 Proceedings
Advanced Topics in Artificial Intelligence International Summer School Prague Czechoslovakia July 6-17 1992 Proceedings
₹6820 onwards
  • Ernst L. Leiss
Evaluating Aal Systems Through Competitive Benchmarking International Competitions and Final Workshop Evaal 2012 July and September 2012 Revised S
Evaluating Aal Systems Through Competitive Benchmarking International Competitions and Final Workshop Evaal 2012 July and September 2012 Revised S
₹5606 onwards
  • Michael Jampel University Of London Uk, University Of New Hamp Eugene Freuder
Advances in Security Technology International Conference SecTech 2008 and Its Special Sessions Sanya Hainan Island China December 13-15 2008
Advances in Security Technology International Conference SecTech 2008 and Its Special Sessions Sanya Hainan Island China December 13-15 2008
₹3548 onwards
  • Wen-hong Zhu
Self-Organizing Systems 4th Ifip Tc 6 International Workshop Iwsos 2009 Zurich Switzerland December 9-11 2009 Proceedings
Self-Organizing Systems 4th Ifip Tc 6 International Workshop Iwsos 2009 Zurich Switzerland December 9-11 2009 Proceedings
₹5810 onwards
  • Axzo Press
Big billion day flipkart 2019
Header
×
Text