Logic for Applications
Anil Nerode, Richard A. Shore
₹5,971
Logical Foundations of Computer Science
Third International Symposium
by Anil Nerode, Yu V. Matiyasevich
Springer · 1994
₹5,580
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
Published by Springer in 1994, Logical Foundations of Computer Science: Third International Symposium by Anil Nerode & Yu V. Matiyasevich runs to 392 pages. The book is part of the Lecture notes in computer science series.
Topics covered include Congresses, Symbolic and mathematical Logic, Computer science and Electronic data processing.
About the author: Anil Nerode (born 1932).
Book details
- ISBN-13
- 9783540581406
- ISBN-10
- 3540581405
- Authors
- Anil Nerode, Yu V. Matiyasevich
- Publisher
- Springer
- Author dates
- Anil Nerode (born 1932)
- Published
- 1994
- Series
- Lecture notes in computer science
- Pages
- 392
- Language
- English
- Condition
- New
- Subject
- Electronic data processing
More by Anil Nerode and related titles
Logical Foundations of Computer Science - Tver '92
Anil Nerode, Mikhail Taitslin
₹5,639
Hybrid Systems
Anil Nerode, Robert L. Grossman, Anders P. Ravn
₹2,978
Advances in Computers
Atif Memon
₹3,915
Interactive Decision Maps
Alexander V. Lotov, Georgy K. Kamenev, Vladimir A. Bushenkov
₹7,747
Cody's Data Cleaning Techniques Using SAS
Ron Cody
₹3,526
Numerical Integration of Stochastic Differential Equations
G. N. Milstein
₹10,808
Feedback Control of Computing Systems
Yixin Diao, Dawn M. Tilbury, Sujay Parekh
₹20,017
Digitalisierung Der Grundrechte?
Alexander Roßnagel, Peter Wedde, Volker Hammer
₹3,143
Digital Fourier Analysis
Ken'iti Kido
₹2,532
Advances in Computers
Ali Hurson
₹10,490
Recent Advances in Natural Computing
Yasuhiro Suzuki, Masami Hagiya
₹8,131