Logic, Language, and Computation
Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe
₹5,568
Lectures on Logic and Computation
Esslli 2010
by Nick Bezhanishvili, Valentin Goranko
Springer · 2012
₹4,977
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 2012, Lectures on Logic and Computation: Esslli 2010 by Nick Bezhanishvili & Valentin Goranko is available as a new copy.
Topics covered include Computer software, Logic design and Artificial intelligence.
Book details
- ISBN-13
- 9783642314841
- ISBN-10
- 3642314848
- Authors
- Nick Bezhanishvili, Valentin Goranko
- Publisher
- Springer
- Published
- 2012
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Nick Bezhanishvili and related titles
Computer Aided Verification
Gregor Von Bochmann, David K. Probst
₹5,657
Rewriting and Typed Lambda Calculi
Gilles Dowek
₹3,959
Fst Tcs 2002
Manindra Agrawal, Anil Seth
₹5,569
Unifying Theories of Programming
Andrew Butterfield
₹5,525
Logic-Based Program Synthesis and Transformation
Danny De Schreye
₹5,492
Logic Programming and Automated Reasoning
Harald Ganzinger, David McAllester, Andrei Voronkov
₹5,581
Theorem Proving in Higher Order Logics
TPHOLs '98 (1998 Canberra, A.C.T.)
₹4,307
Typed Lambda Calculi and Applications
Marc Bezem, Jan F. Groote
₹5,663
Integrated Formal Methods
Michael Butler, Luigia Petre, Kaisa Sere
₹5,722
Objektorientierter Softwareentwurf
Ruth Breu
₹3,508
Software Composition
SC 2008 (2008 Budapest, Hungary)
₹4,255