Programming
Logic Programming: Operational Semantics and Proof Theory: 4 | by J. Andrews | James H. Andrews | Cambridge University Press | English | Revised ed. Edition
₹4,603
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
About This Book
Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which 'depth-first' search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform 'breadth-first' searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area.
About the Author
Logic Programming: Operational Semantics and Proof Theory: 4 is authored by J. Andrews | James H. Andrews.
Product description Review ..."selected as one of the best PhD dissertations in computer science. Researchers interested in logic programming and semantics will find interesting results in this book, including both theoretical and practical solutions." G. Ciobanu, Computing Reviews Book Description A homogeneous treatment of the semantics of both theoretical and practical logic programming languages.
Book Highlights
✓Published by Cambridge University Press
✓Language: English
✓Publication date: 19 August 2004
✓Edition: Revised ed.
✓Category: Software Design, Testing & Engineering > Object-Oriented Design
✓Rated 5.0/5 by 1 verified readers
✓Dimensions: 18.9 x 0.71 x 24.61 cm
✓Weight: 230 g
✓FREE shipping on all BookShops.in orders
✓15-day hassle-free return policy
✓Cash on Delivery (COD) available across India
✓100% genuine physical book — not an eBook or PDF
Book Specifications
| ISBN-13 | 9780521607544 |
| ISBN-10 | 052160754X |
| Publisher | Cambridge University Press |
| Language | English |
| Dimensions | 18.9 x 0.71 x 24.61 cm |
| Weight | 230 g |
| Country | India |
| Category | Software Design, Testing & Engineering › Object-Oriented Design |
| Customer Rating | 5.0 / 5 (1 ratings) |
| author | J. Andrews | James H. Andrews |
Frequently Asked Questions
What is the price of Logic Programming: Operational Semantics and Proof Theory: 4?
Logic Programming: Operational Semantics and Proof Theory: 4 is available at ₹4,603 on BookShops.in.
Does BookShops.in offer free delivery for Logic Programming: Operational Semantics and Proof Theory: 4?
FREE delivery on all orders for Logic Programming: Operational Semantics and Proof Theory: 4.
Is Cash on Delivery available for Logic Programming: Operational Semantics and Proof Theory: 4?
Yes, Cash on Delivery (COD) is available for Logic Programming: Operational Semantics and Proof Theory: 4 on BookShops.in. Pay when your order arrives.
What is the return policy for Logic Programming: Operational Semantics and Proof Theory: 4?
BookShops.in offers a 15-day hassle-free return policy for Logic Programming: Operational Semantics and Proof Theory: 4. Contact us at support@bookshops.in or call +91 95575 56855.
Is Logic Programming: Operational Semantics and Proof Theory: 4 authentic?
Logic Programming: Operational Semantics and Proof Theory: 4 is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Programming
INTRODUCTION TO PYTHON FOR SCIENCE AND ENGINEERING, 1ST EDITION | by David J. Pine | CRC Press | English | 1st Edition
₹4,226
Programming
Programming the Built Environment (Routledge Revivals) | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge
₹4,757
Programming
A Tour of C++ | by Bjarne Stroustrup | Addison-Wesley Professional | English | 3rd Edition
₹2,223
Programming
Evolutionary Algorithms in Theory and Practice: Evolution Strategies, Evolutionary Programming, Genetic Algorithms | by Thomas Back | Thomas Bdck | Thomas B?ck | OUP USA | English | 1st Edition
₹4,291
Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294
Programming
Computer Science and Applications: Proceedings of the 2014 Asia-Pacific Conference on Computer Science and Applications (CSAC 2014), 27-28 December 2014, Shanghai, China | by Ally Hu | CRC Pr I Llc | English | 1st Edition
₹5,113
Related Products
View AllProgramming
Computer Science and Applications: Proceedings of the 2014 Asia-Pacific Conference on Computer Science and Applications (CSAC 2014), 27-28 December 2014, Shanghai, China | by Ally Hu | CRC Pr I Llc | English | 1st Edition
₹5,113
Programming
INTRODUCTION TO PYTHON FOR SCIENCE AND ENGINEERING, 1ST EDITION | by David J. Pine | CRC Press | English | 1st Edition
₹4,226
Programming
Programming the Built Environment (Routledge Revivals) | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge | by Wolfgang F. E. Preiser | Routledge
₹4,757
Programming
A Tour of C++ | by Bjarne Stroustrup | Addison-Wesley Professional | English | 3rd Edition
₹2,223
Programming
Evolutionary Algorithms in Theory and Practice: Evolution Strategies, Evolutionary Programming, Genetic Algorithms | by Thomas Back | Thomas Bdck | Thomas B?ck | OUP USA | English | 1st Edition
₹4,291
Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294