theorem proving in

(44 offers*)
Filter
LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically verified software development
LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically verified software development
£9.00
Compare 2 prices
amazon.co.uk
Delivery from £2.99
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
£27.93
Compare 3 prices
Amazon-marketplace.co.uk
Delivery from £7.74
Using Sophisticated Models in Resolution Theorem Proving: 90 (Lecture Notes in Computer Science, 90)
Using Sophisticated Models in Resolution Theorem Proving: 90 (Lecture Notes in Computer Science, 90)
£44.73
Compare 3 prices
Amazon-marketplace.co.uk
Free Delivery
Proving History: Bayes's Theorem and the Quest for the Historical Jesus
Proving History: Bayes's Theorem and the Quest for the Historical Jesus
£15.99
Compare 9 prices
amazon.co.uk
Free Delivery
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
£64.86
Compare 9 prices
Amazon-marketplace.co.uk
Free Delivery
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
£39.99
Compare 2 prices
amazon.co.uk
Free Delivery
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
£90.09
Compare 10 prices
Amazon-marketplace.co.uk
Delivery from £2.80
Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming
Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming
£30.86
Go to shop
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
Proving History: Bayes's Theorem and the Quest for the Historical Jesus by Richard C. Carrier (May 28, 2012) Hardcover
£44.93
Go to shop
Amazon-marketplace.co.uk
Delivery from £7.98
John Harrison Theorem Proving with the Real Numbers Paperback Book John Harrison Multicolor
John Harrison Theorem Proving with the Real Numbers Paperback Book John Harrison Multicolor
£125.39
Go to shop
debenhams.com
Fermat’s Last Theorem
Fermat’s Last Theorem
£10.44
Go to shop
Whsmith.co.uk
Delivery from £3.99
Pythagorean Theorem for Babies
Pythagorean Theorem for Babies
£7.59
Compare 2 prices
Whsmith.co.uk
Delivery from £3.99

🤖 Ask ChatGPT

🛍️ What are the most important purchase criteria? 💰 Tell me the best deals! 📋 Create a short summary!

Informations about "theorem proving in"

Compare 44 offers for your search.

Pricehunter was able to locate products in 21 categories, ranging from £7.59 to £136.28.

About "theorem proving in"

  • In total, Pricehunter was able to locate 4 offers, from retailer such as Amazon-marketplace.co.uk, amazon.co.uk, Whsmith.co.uk and debenhams.com.
  • 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 (3) 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: