Logical Foundations of Computer Science
Anil Nerode, Yu V. Matiyasevich
₹5,580
Logic for Applications
by Anil Nerode, Richard A. Shore
Springer · 1997
₹5,971
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 for Applications by Anil Nerode & Richard A. Shore is a 456-page book published by Springer in 1997. The work was first published in 1993. The book is part of the Graduate texts in computer science series. This is the 2nd 1997 edition.
Its main subjects are Computer science, Logic programming, Mathematics and Symbolic and mathematical Logic.
About the author: Anil Nerode (born 1932).
Book details
- ISBN-13
- 9780387948935
- ISBN-10
- 0387948937
- Authors
- Anil Nerode, Richard A. Shore
- Publisher
- Springer
- Author dates
- Anil Nerode (born 1932)
- Published
- 1997
- First published
- 1993
- Series
- Graduate texts in computer science
- Edition
- 2nd 1997 ed.
- Pages
- 456
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Anil Nerode and related titles
Hybrid Systems
Anil Nerode, Robert L. Grossman, Anders P. Ravn
₹2,978
Logical Foundations of Computer Science - Tver '92
Anil Nerode, Mikhail Taitslin
₹5,639
Self-Timed Control of Concurrent Processes
Victor I. Varshavsky
₹8,135
Random Graphs
Svante Janson, Tomasz Luczak, Tomasz Uczak, Andrzej Rucinski
₹17,575
Protection, Security, and Safeguards
Dale L. June
₹3,747
Innovations in Instructional Technology
J. Michael Spector
₹3,985
Measuring, Modeling and Simulating the Re-adaptation Process of the Human Visual System after Short-Time Glares in Traffic Scenarios
Benjamin Meyer
₹4,238
Innovative Technologies and Learning
Yueh-Min Huang
₹9,221
Algorithms of Resistance
Emiliano Trere, Tiziano Bonini
₹2,430
Networks and Services
Mehmet Toy
₹4,665
Tools for High Performance Computing 2013
Andreas Knüpfer, José Gracia, Wolfgang E. Nagel, Michael M. Resch
₹11,805