Search results for "Automated Reasoning: A Handbook"
22 results found
Search results
Computers & Internet
Logic Programming and Automated Reasoning (English, Andrei Voronkov)
₹5,639
Science & Mathematics
Automated Reasoning in Higher-Order Logic (English, C. E. Brown)
₹2,207
AI & Machine Learning
Artificial Intelligence, Automated Reasoning, and Symbolic Computation (English, Jacques Calmet | Belaid Benhamou | Olga Caprotti)
₹3,874
Reference
Pneumatic Handbook (English, A. Barber)
₹4,095
Science & Mathematics
A Handbook of Terms in Algebra & Analysis by Howson
₹2,280
History
English Historical Documents (English, Handcock W.D.)
₹5,374
CRC Press
Duke's Handbook of Medicinal Herbs by James A. Duke
₹5,380
Reference
Handbook of Special Functions (English, Yury A. Brychkov)
₹4,537
Reference
Handbook of Dynamic System Modeling (English, Paul A. Fishwick)
₹4,951
Reference
The Palgrave Handbook of Educational Thinkers (English, Brett A. Geier)
₹4,942
History
English Historical Documents,1833-1874 (English, Handcock W.D.)
₹4,614
AI & Machine Learning
Handbook of Temporal Reasoning in Artificial Intelligence (English, Michael David Fisher | Dov M. Gabbay | Lluis Vila)
₹2,612
Computers & Internet
Implementing Automated Software Testing by Neha Kaul
₹3,675
Sciences, Technology & Medicine
Automata Theory with Modern Applications (English, James A. Anderson)
₹4,979
Sciences, Technology & Medicine
Automata Theory with Modern Applications (English, James A. Anderson)
₹5,986
Routledge
The Routledge Handbook of Phonetics (Routledge Handbooks in Linguistics)
₹3,860
Sciences, Technology & Medicine
Practical Reasoning in a Social World (English, Keith Graham)
₹4,053
Reference
Simulation Modeling Handbook (English, Christopher A. Chung)
₹4,668.35
Programming
A Practical Handbook for Software Development by N. D. Birre
₹3,247
Science & Mathematics
Handbook on Rare Earths by K. A. Gschneidner
₹5,011
Law
The Oxford Handbook of Sport and Society (English, Lawrence A. Wenner)
₹4,595
CRC Press
Automated EEG-Based Diagnosis by Hojjat Adeli
₹5,170