First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
£64.82
Amazon-marketplace.co.uk
Free Delivery
Using Sophisticated Models in Resolution Theorem Proving: 90 (Lecture Notes in Computer Science, 90)
£44.74
Amazon-marketplace.co.uk
Free Delivery
Proving History: Bayes's Theorem and the Quest for the Historical Jesus
£15.99
amazon.co.uk
Free Delivery
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
£39.99
amazon.co.uk
Free Delivery
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
£28.19
Amazon-marketplace.co.uk
Delivery from £7.74
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-2
£18.30
amazon.co.uk
Free Delivery
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
£88.94
amazon.co.uk
Free Delivery
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-1
£13.17
amazon.co.uk
Free Delivery
Proving History: Bayes's Theorem and the Quest for the Historical Jesus by Richard C. Carrier (May 28, 2012) Hardcover
£44.93
Amazon-marketplace.co.uk
Delivery from £7.98
Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming
£30.86
amazon.co.uk
Free Delivery
Fermat’s Last Theorem
£10.44
Whsmith.co.uk
Delivery from £3.99
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-1
£18.30
amazon.co.uk
Free Delivery
Pythagorean Theorem for Babies
£7.59
Whsmith.co.uk
Delivery from £3.99
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-2
£13.17
amazon.co.uk
Free Delivery
🤖 Ask ChatGPT
🛍️ What are the most important purchase criteria?
💰 Tell me the best deals!
📋 Create a short summary!
Informations about "theorem proving in"
Compare 47 offers for your search.
Pricehunter was able to locate products in 21 categories, ranging from £7.59 to £175.86.
About "theorem proving in"
- In total, Pricehunter was able to locate 3 offers, from retailer such as Amazon-marketplace.co.uk, amazon.co.uk and Whsmith.co.uk.
- After having chosen your supplier you may also choose the delivery company. 3 delivery companies are available Springer Verlag, Globe Pequot Press and Harper Collins Publishers being the most popular.
- The most offers (4) were found in the price range from £18.00 to £18.99.
- Customers who looked for this item also found interesting.
- With our extensive colour palette you can select your favourite colour for your article. Of the available 0 shades is the most frequently chosen.
Don't forget your voucher code:
Report Illegal Concerns
You are about to report a violation based on the EU Digital Services Act (DSA).