Rewriting Techniques and Applications
Andrei Voronkov
₹5,690
Computing in Horn Clause Theories
16
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2011
₹3,945
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
Computing in Horn Clause Theories: 16 is written by Peter Padawitz. This edition from Springer-Verlag Berlin and Heidelberg GmbH & Co. K (2011) has 322 pages.
Its main subjects are Logic design, Computer science, Software engineering and Logic programming.
Book details
- ISBN-13
- 9783642738265
- ISBN-10
- 3642738265
- Author
- Peter Padawitz
- Published
- 2011
- Edition
- Softcover reprint of the original 1st ed. 1988
- Pages
- 322
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Horizons of the Mind. A Tribute to Prakash Panangaden
Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten
₹4,241
Process Mining
Po-Lung Yu Moussa Larbani
₹3,849
Abstraction, Refinement and Proof for Probabilistic Systems
Charles Carroll Morgan, Annabelle McIver
₹12,055
Logic Program Synthesis and Transformation
International Workshop on Logic Program Synthesis and Transformation (1992 University of Manchester)
₹4,272
Advanced Digital Design with the Verilog Hdl
Michael Ciletti
₹5,206
Logic Synthesis for Control Automata
Samary Baranov
₹11,550
Recent Advances in Constraints
Krzysztof R. Apt, Francois Fages, Francesca Rossi
₹5,521
Generative and Transformational Techniques in Software Engineering III
João M. Fernandes
₹3,842
Formal Approaches to Agent-Based Systems
) Faabs 200 (2000 Greenbelt
₹1,490
Fundamental Approaches to Software Engineering
Marsha Chechik
₹4,242
Formal Methods
Jim Davies, Leila Silva, Adenilso Simao
₹5,534