Integrated Formal Methods
Eerke Boiten, John Derrick, Graeme Smith
₹5,653
Symbolic Computation and Automated Reasoning
The Calculemus-2000 Symposium
by Manfred Kerber, Michael Kohlhase
A K Peters/CRC Press · 2001 · Hardcover
₹4,226
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
Symbolic Computation and Automated Reasoning: The Calculemus-2000 Symposium by Manfred Kerber & Michael Kohlhase is a 272-page hardcover edition published by A K Peters/CRC Press in 2001.
Its main subjects are Artificial intelligence, Mathematical theory of computation, Congresses and Algebra.
Book details
- ISBN-13
- 9781568811451
- ISBN-10
- 1568811454
- Authors
- Manfred Kerber, Michael Kohlhase
- Publisher
- A K Peters/CRC Press
- Published
- 2001
- Binding
- Hardcover
- Pages
- 272
- Language
- English
- Condition
- New
More in Mathematical theory of computation
Logic in Computer Science
Michael Huth, Mark Ryan
₹6,059
Applications and Theory of Petri Nets 2003
Wil Van Der Aalst, Eike Best
₹5,637
Probability Models for Computer Science
Sheldon M. Ross
₹4,206
Frontiers of Numerical Analysis
James Blowey, Alan Craig
₹5,581
Mathematical Studies on Human Disease Dynamics
AMS-IMS-SIAM Joint Summer Research Conference on "Modeling the dynamics of human disease: emerging paradigms and challenges" (2005 Snowbird, Utah)
₹21,052
Applications of Invariance in Computer Vision
Joseph L. Mundy, Andrew Zisserman, David Forsyth
₹5,642
High Performance Computing
Constantine Polychronopoulos, Kazuki Joe, Akira Fukuda
₹5,586
Fundamentals of Computation Theory
Horst Reichel
₹5,602
Distributed Algorithms
Özalp Babaoglu, Keith Marzullo
₹5,571
Concur '95 Concurrency Theory
Scott Smolka
₹5,658
Conceptual Structures
Harry S. Delugach, Gerd Stumme
₹5,569