Rewriting Techniques and Applications
Harald Ganzinger
₹5,602
Logic Programming and Automated Reasoning
6th International Conference
by Harald Ganzinger, David McAllester, Andrei Voronkov
Springer · 1999 · Paperback
₹5,581
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: 6th International Conference is written by Harald Ganzinger, David McAllester & others. This paperback edition from Springer (1999) has 397 pages.
Topics covered include Logic programming, Congresses, Automatic theorem proving and Computer science.
Book details
- ISBN-13
- 9783540664925
- ISBN-10
- 3540664920
- Authors
- Harald Ganzinger, David McAllester, Andrei Voronkov
- Publisher
- Springer
- Published
- 1999
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 397
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Harald Ganzinger and related titles
Automated Deduction - Cade-16
Harald Ganzinger
₹5,598
Logic Program Synthesis and Transformation
John Gallagher
₹5,542
Trends in Functional Programming
Rex Page, Zoltan Horvath, Viktoria Zsók
₹5,705
Runtime Verification
Koushik Sen, Sarfaz Khurshid
₹5,672
Logic Program Synthesis and Transformation
International Workshop on Logic Program Synthesis and Transformation (1992 University of Manchester)
₹4,272
Theory and Practice of Model Transformations
Jordi Cabot, Eelco Visser
₹5,553
Field-Programmable Logic, Smart Applications, New Paradigms and Compilers
Reiner W. Hartenstein, Manfred Glesner
₹5,596
Interactive Theorem Proving
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz
₹5,593
Software Engineering 1
Dines Bjørner
₹5,159
Programmverifikation
Krzysztof R. Apt, Ernst-Rüdiger Olderog
₹2,595
Duration Calculus
Michael R. Hansen, Chaochen Zhou
₹8,292