We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£140.00
North Holland - Principles of Logic and Logic Programming
Price data last checked 50 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
It has never been this cheap. We have no record of a lower price.
£140 today · cheaper than every other day in the last 3 months
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 41 days • 41 data points (No recent data available)
Price Distribution
Price distribution over 41 days • 1 price levels
Price Analysis
Most common price: £140 (41 days, 100.0%)
Price range: £140 - £140
Price levels: 1 different prices over 41 days
Description
Key Features
Analyzes the relationship and transition from basic logic to the specialized field of logic programming.
Covers the historical shift from arithmetical computation to symbolic computation in early computer development.
Details the early evolution of programs designed to answer elementary questions and prove theorems.
Discusses the development of general methods based on logic, including the work of Robinson in 1965.
Provides a technical look at how logic elements are unfolded within a computational context.
Product Specifications
- Brand
- North Holland
- Format
- paperback
- ASIN
- 0444542019
- Domain
- Amazon UK
- Release Date
- 01 June 2011
- Listed Since
- 02 June 2011
Barcode
No barcode data available
Similar Products You Might Like
Logic Programming: A Classified Bibliography
Springer
Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)
Oxford University Press
Logic of Computation: SER F / v.157 (NATO ASI)
Springer
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings: 5366 (Lecture Notes in Computer Science, 5366)
Springer
Logic for Mathematicians
Cambridge University Press
Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings: 660 (Lecture Notes in Computer Science, 660)
Springer
Logic for Computer Science and Artificial Intelligence
Wiley
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)
Springer
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
CRC Press
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
Springer
Reasoning with Logic Programming: 1111 (Lecture Notes in Computer Science, 1111)
Springer
Computational Logic: 165 (NATO ASI Subseries F:, 165)
Springer
Mathematical Aspects of Logic Programming Semantics: 6 (Chapman & Hall/CRC Studies in Informatics Series)
CRC Press
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings: 2916 (Lecture Notes in Computer Science, 2916)
Springer
Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
DUNOD
Classical Mathematical Logic – The Semantic Foundations of Logic
Princeton University Press
Proof Theory and Logic Programming: Computation as Proof Search
Cambridge University Press
Handbook of Philosophical Logic: Volume 14
Springer
Logic for Computer Scientists (Modern Birkhäuser Classics)
Birkhauser