Transformation in Healthcare with Emerging Technologies
₹14,092
Computational Logic
Symposium Proceedings, Brussels, November 13/14, 1990
by Lloyd, J. W.
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2011
₹7,763
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 is written by J. W. Lloyd. This edition from Springer-Verlag Berlin and Heidelberg GmbH & Co. K (2011) has 211 pages.
The book deals with Automatic theorem proving.
Subjects
Book details
- ISBN-13
- 9783642762765
- ISBN-10
- 364276276X
- Authors
- Lloyd, J. W.
- Published
- 2011
- Edition
- Softcover reprint of the original 1st ed. 1990
- Pages
- 211
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More in Computers & Internet
Shell-like Structures
Holm Altenbach, Victor Eremeyev
₹7,744
Digital Religion
Heidi Campbell, Ruth Tsuria
₹3,585
Why Digital Displays Cannot Replace Paper
Kengo Omura, Hirohito Shibata
₹6,241
Macbook for Dummies
Mark L. Chambers
₹1,898
Rugged Embedded Systems
Augusto Vega, Alper Buyuktosunoglu, Pradip Bose
₹7,015
Emotional Engineering, Vol. 8
Shuichi Fukuda
₹7,774
Flexible Views for View-based Model-driven Development
Erik Burger
₹3,976
Blockchain and Artificial Intelligence-Based Solution to Enhance the Privacy in Digital Identity and IoT
Fehmi Jaafar, Schallum Pierre
₹8,747
Food Waste Reduction and Valorisation
₹3,713
Waves in Metamaterials
Ekaterina Shamonina, Laszlo Solymar
₹5,046
Elsevier's Dictionary of Computer Science and Mathematics
B. Delijska, K. Peeva
₹4,048