Logic, Methodology and Philosophy of Science
P. Hajek, L. Valdes-Villanueva, D. Westerstahl
₹2,241
Learn PROLOG Now!
by P. Blackburn, J. Bos, K. Striegnitz
₹1,615
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- 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.
From the publisher
Prolog is a programming language, but a rather unusual one. Prolog'' is short for Programming with Logic'', and the link with logic gives Prolog its special character. At the heart of Prolog lies a surprising idea: don't tell the computer what to do. Instead, describe situations of interest, and compute by asking questions. Prolog will logically deduce new facts about the situations and give its deductions back to us as answers.
Description supplied by the publisher.
Book details
- ISBN-13
- 9781904987178
- ISBN-10
- 1904987176
- Authors
- P. Blackburn, J. Bos, K. Striegnitz
- Publisher
- College Publications
- Condition
- New
Related books
Implementing Programming Languages. an Introduction to Compilers and Interpreters
Aarne Ranta
₹1,421
Model Based Reasoning in Science and Engineering
L. Magnani
₹2,238
The Haskell Road to Logic, Maths and Programming. Second Edition
Kees Doets, Van Jan Eijck
₹2,141
Inconsistent Geometry
Chris Mortensen
₹2,774
Handbook of Paraconsistency
J. Y. Beziau, W. Carnielli, D. M. Gabbay
₹2,199
All about Proofs, Proofs for All
Bruno Woltzenlogel Paleo, David Delahaye
₹1,828
Elementary Logic with Applications
D. M. Gabbay, O. T. Rodrigues
₹2,169
Foundations of the Formal Sciences. the History of the Concept of the Formal Sciences
B. Loewe, V. Peckhaus, T. Rasch
₹2,037
Philosophical Aspects of Symbolic Reasoning in Early Modern Mathematics
Albrecht Heeffer, Maarten Van Dyck
₹2,042
Conceptual Clarifications. Tributes to Patrick Suppes (1922-2014)
Jean-Yves Beziau, Decio Krause, Jonas R. Becker Arenhart
₹1,426
Langage C++ Et Calcul Scientifique
Pierre Saramito
₹1,587