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

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

N/A
₹7735
See all Prices
See Price Trend

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

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 5, 2024, 9:46 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

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 Related Books :

Preparing for the BMAT The Official Guide to the BioMedical Admissions Test 2 Rev ed Edition
Preparing for the BMAT The Official Guide to the BioMedical Admissions Test 2 Rev ed Edition
₹800 onwards
  • Michael Bond
French S Index Of Differential Diagnosis An A-Z 15th Edition
French S Index Of Differential Diagnosis An A-Z 15th Edition
₹800 onwards
  • Kinirons
Confessions of a Male Nurse Michael Alexander
Confessions of a Male Nurse Michael Alexander
₹400 onwards
  • Michael Alexander
Textbook of Human Oral Embryology Anatomy Physiology Histology and Tooth Morphology 1 e Edition
Textbook of Human Oral Embryology Anatomy Physiology Histology and Tooth Morphology 1 e Edition
₹316 onwards
  • K. M. K. Masthan
Cancer A Very Short Introduction
Cancer A Very Short Introduction
₹173 onwards
  • Nick James
Body for Life Success Journal
Body for Life Success Journal
₹1262 onwards
  • Bill Phillips
Nutrition for Dummies
Nutrition for Dummies
₹1022 onwards
  • Carol Ann Rinzler
Pharmacotherapy Casebook A Patient-Focused Approach 0008 Edition
Pharmacotherapy Casebook A Patient-Focused Approach 0008 Edition
₹2063 onwards
  • Physics, Donald H. Menzel
The Master and His Emissary The Divided Brain and the Making of the Western World
The Master and His Emissary The Divided Brain and the Making of the Western World
₹1084 onwards
  • Iain McGilchrist
Functional Biochemistry in Health and Disease 2nd Revised edition Edition
Functional Biochemistry in Health and Disease 2nd Revised edition Edition
₹800 onwards
  • Eric Newsholme, Tony Leech
Strickberger s Evolution 4th Edition
Strickberger s Evolution 4th Edition
₹2074 onwards
  • Brian K. Hall, Benedikt Hallgrimsson
Pattern-Oriented Software Architecture Volume 2 Edition
Pattern-Oriented Software Architecture Volume 2 Edition
₹2484 onwards
  • Frank Buschmann, Michael Stal, Hans Rohnert, Douglas C. Schmidt
AAOS Comprehensive Orthopaedic Review 2 Book Set With Study Questions Book
AAOS Comprehensive Orthopaedic Review 2 Book Set With Study Questions Book
₹26447 onwards
  • Jay R. Lieberman
Oxford Handbook of Clinical Medicine 0008 Edition
Oxford Handbook of Clinical Medicine 0008 Edition
₹2701 onwards
  • Murray Longmore, Edward H. Davidson, Ian B. Wilkinson
Cochrane Handbook for Systematic Reviews of Interventions
Cochrane Handbook for Systematic Reviews of Interventions
₹800 onwards
  • Carolyn EwingChristmas
Reversing Heart Disease A Vital New Program to Help Prevent Treat and Eliminate Cardiac Problems Without Surgery
Reversing Heart Disease A Vital New Program to Help Prevent Treat and Eliminate Cardiac Problems Without Surgery
₹764 onwards
  • Julian M. Whitaker
Conducting Your Pharmacy Practice Research Project A Step-By-Step Approach
Conducting Your Pharmacy Practice Research Project A Step-By-Step Approach
₹2189 onwards
  • Felicity J. Smith
Anxiety
Anxiety
₹183 onwards
  • Freeman D, Freeman J
The Glycemic Index Diet for Dummies
The Glycemic Index Diet for Dummies
₹241 onwards
  • Meri Raffetto
Trouble with Testosterone And Other Essays on the Biology of the Human Predicament
Trouble with Testosterone And Other Essays on the Biology of the Human Predicament
₹795 onwards
  • Robert M. Sapolsky

Other Books By A Voronkov :

Handbook of Automated Reasoning Volume Volume HRD Edition
Handbook of Automated Reasoning Volume Volume HRD Edition
₹5808 onwards
Automated Deduction - Cade-18 18th International Conference on Automated Deduction Copenhagen Denmark July 27-30 2002 Proceedings
Automated Deduction - Cade-18 18th International Conference on Automated Deduction Copenhagen Denmark July 27-30 2002 Proceedings
₹9098 onwards
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
₹7735 onwards
Big billion day flipkart 2019
Header
×
Text