Logic in Computer Science
Michael Huth, Mark Ryan
₹6,059
Logic in Computer Science
Modelling and Reasoning about Systems
by Michael Huth, Mark Ryan
Cambridge University Press · 1999 · Hardcover
₹2,861
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
Logic in Computer Science: Modelling and Reasoning about Systems is written by Michael Huth & Mark Ryan. This hardcover edition from Cambridge University Press (1999) has 405 pages.
The book deals with Logic programming, Computer logic, Computers & the internet and Computer science.
Book details
- ISBN-13
- 9780521652001
- ISBN-10
- 0521652006
- Authors
- Michael Huth, Mark Ryan
- Publisher
- Cambridge University Press
- Published
- 1999
- Binding
- Hardcover
- Pages
- 405
- Language
- English
- Condition
- New
More by Michael Huth and related titles
Solving Higher-Order Equations
Christian Prehofer
₹3,423
Typed Lambda Calculi and Applications
Mariangiola Dezani-Ciancaglini, Gordon Plotkin
₹5,666
Graph-Theoretic Concepts in Computer Science
Gunther Schmidt Gottfried Tinhofer
₹5,084
Algorithms - ESA '93
Thomas Lengauer
₹5,653
Free Choice Petri Nets
Jorg Desel, Javier Esparza, C. J. Van Rijsbergen
₹4,827
Statistical Mechanics of Learning
A. Engel, C. Van den Broeck
₹5,055
Algorithmic Learning for Knowledge-Based Systems
Klaus P. Jantke, Steffen Lange
₹5,639
Orders, Algorithms and Applications
Vincent Bouchitte, Michel Morvan
₹5,546
Theorem Proving in Higher Order Logics
Juris Hartmanis Gerhard Goos, Joakim Wright Jan Leeuwen, John Harrison Jim Grundy
₹3,391
Parallel Algorithms for Irregularly Structured Problems
Afonso Ferreira, Jose Rolim
₹5,590
Data Visualization 2001
Joint EUROGRAPHICS and IEEE TCVG Symposium on Visualization (3rd 2001 Ascona, Switzerland).
₹4,251