Foundations of Software Science and Computation Structures
Frank Pfenning
₹4,249
Logic Programming and Automated Reasoning
5th International Conference
Springer · 1994 · Paperback
₹5,554
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 Programming and Automated Reasoning: 5th International Conference is written by Frank Pfenning. This paperback edition from Springer (1994) has 345 pages. It belongs to the Lecture notes in computer science series.
Topics covered include Artificial intelligence, Computer architecture & logic design, Mathematical theory of computation and Programming languages.
Book details
- ISBN-13
- 9783540582168
- ISBN-10
- 3540582169
- Author
- Frank Pfenning
- Publisher
- Springer
- Published
- 1994
- Series
- Lecture notes in computer science
- Binding
- Paperback
- Pages
- 345
- Language
- English
- Condition
- New
More by Frank Pfenning and related titles
Latin 2002
Sergio Rajsbaum
₹4,234
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Harold F. Mattson, Teo Mora, T. R. N. Rao
₹5,628
Average-Case Complexity
Andrej Bogdanov, Luca Trevisan
₹8,253
Deductive and Declarative Programming by P. Padawitz – Formal Verification
P. Padawitz, Peter Padawitz, C. J. Van Rijsbergen
₹5,595
Iterative Krylov Methods for Large Linear Systems
Henk A. van der Vorst
₹3,592
Advances in Cryptology - Crypto 2001
Joe Kilian
₹5,488
Programs, Recursion and Unbounded Choice
Wim H. Hesselink, Wim H. Hesselink, C. J. Van Rijsbergen
₹5,568
Global Methods for Combinatorial Isoperimetric Problems
L. H. Harper
₹4,717
Logic in Computer Science
Michael Huth, Mark Ryan
₹2,861
Mathematical Foundations of Computer Science 1990
Branislav Rovan
₹5,652
Local Search for Planning and Scheduling
Alexander Nareyek
₹5,464