Logic Programming and Automated Reasoning
Frank Pfenning
₹5,554
Foundations of Software Science and Computation Structures
16th International Conference
Springer Verlag · 2013 · Paperback
₹4,249
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
Foundations of Software Science and Computation Structures: 16th International Conference by Frank Pfenning is a 474-page paperback edition published by Springer Verlag in 2013.
The book deals with Mathematical Logic and Formal Languages, Logic design, Logics and Meanings of Programs and Computation by Abstract Devices.
Book details
- ISBN-13
- 9783642370748
- ISBN-10
- 3642370748
- Author
- Frank Pfenning
- Publisher
- Springer Verlag
- Published
- 2013
- Edition
- 2013 ed.
- Binding
- Paperback
- Pages
- 474
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Frank Pfenning and related titles
Logic Programming and Databases
Georg Gottlob, Letizia Tanca, Stefano Ceri
₹5,833
The Parametric Lambda Calculus
Simona Ronchi Della Rocca, Luca Paolini
₹4,315
Abstraction, Refinement and Proof for Probabilistic Systems
Charles Carroll Morgan, Annabelle McIver
₹12,055
Grid Computing
Radu Prodan, Thomas Fahringer
₹2,963
Computer Science Logic
Anuj Dawar, Helmut Veith
₹5,686
Theorem Proving in Higher Order Logics
TPHOLs 2007 (2007 Kaiserslautern, Germany)
₹4,259
Functional and Constraint Logic Programming
Santiago Escobar
₹5,537
Transactions on Aspect-Oriented Software Development VIII
Shmuel Katz, Mira Mezini, Christine Schwanninger
₹5,499
Theory of Digital Automata
Valery Lahno, Mykola Karpinskyy, Bohdan Borowik, Oleksandr Petrov
₹8,178
Analogical and Inductive Inference
Klaus P. Jantke
₹5,549
Horizons of the Mind. A Tribute to Prakash Panangaden
Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten
₹4,241