automated reasoning in

(61 offers*)
Filter
Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, . Logic and Cognitive Systems)
Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, . Logic and Cognitive Systems)
£20.86
Compare 5 prices
amazon.co.uk
Free Delivery
Handbook of Practical Logic and Automated Reasoning
Handbook of Practical Logic and Automated Reasoning
£106.93
Compare 10 prices
Amazon-marketplace.co.uk
Delivery from £7.74
Fundamentals of Artificial Intelligence: Problem Solving and Automated Reasoning
Fundamentals of Artificial Intelligence: Problem Solving and Automated Reasoning
£47.18
Compare 10 prices
Amazon-marketplace.co.uk
Delivery from £2.80
Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, ... (Lecture Notes in Computer Science, 15980)
Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, ... (Lecture Notes in Computer Science, 15980)
£34.99
Go to shop
amazon.co.uk
Free Delivery
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I: 14739 (Lecture Notes in Computer Science, 14739)
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I: 14739 (Lecture Notes in Computer Science, 14739)
£21.81
Compare 8 prices
Amazon-marketplace.co.uk
Delivery from £2.80
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-2 (AI & New Age Math)
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-2 (AI & New Age Math)
£18.87
Go to shop
amazon.co.uk
Free Delivery
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings: 13385 (Lecture Notes in Computer Science, 13385)
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings: 13385 (Lecture Notes in Computer Science, 13385)
£34.98
Compare 9 prices
Amazon-marketplace.co.uk
Free Delivery
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-1 (AI & New Age Math)
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-1 (AI & New Age Math)
£18.99
Go to shop
amazon.co.uk
Free Delivery
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
£24.99
Compare 10 prices
amazon.co.uk
Free Delivery
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-2 (AI & New Age Math)
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-2 (AI & New Age Math)
£13.58
Go to shop
amazon.co.uk
Free Delivery
Electric Pet Rabbit - Interactive Animal, Walking Playmate Figure For Development Aid, Automated Component With Realistic Sound Effects, Electronic Play Item, Animal Toy For Indoor Activity
Electric Pet Rabbit - Interactive Animal, Walking Playmate Figure For Development Aid, Automated Component With Realistic Sound Effects, Electronic Play Item, Animal Toy For Indoor Activity
£14.89
Go to shop
Amazon-marketplace.co.uk
Free Delivery
Vision-Language Models for Robotics and Automation: Designing AI for Perception and Reasoning in Intelligent Agents and Automated Workflows
Vision-Language Models for Robotics and Automation: Designing AI for Perception and Reasoning in Intelligent Agents and Automated Workflows
£14.88
Go to shop
amazon.co.uk
Free Delivery
Autonomous Cyber Deception : Reasoning, Adaptive Planning, and Evaluation of HoneyThings
Autonomous Cyber Deception : Reasoning, Adaptive Planning, and Evaluation of HoneyThings
£56.99
Go to shop
Whsmith.co.uk
Free Delivery
Vision-Language Models for Robotics and Automation: Designing AI for Perception and Reasoning in Intelligent Agents and Automated Workflows
Vision-Language Models for Robotics and Automation: Designing AI for Perception and Reasoning in Intelligent Agents and Automated Workflows
£18.79
Go to shop
amazon.co.uk
Free Delivery
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-1 (AI & New Age Math)
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-1 (AI & New Age Math)
£13.67
Go to shop
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 "automated reasoning in"

Look at 61 offers for your search.

Pricehunter was able to locate products in 14 categories, ranging from £13.58 to £157.26.

About "automated reasoning in"

  • In total, Pricehunter was able to locate 3 proposals, from suppliers such as Amazon-marketplace.co.uk, amazon.co.uk and Whsmith.co.uk.
  • If you would prefer an item from a particular brands, you can find 4 shops for this product. If you have not yet made a decision, you can also filter your favourite producers and choose between 4 manufacturers.
  • The most offers (4) were found in the price range from £56.00 to £56.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 coloration is the most frequently chosen.
Don't forget your voucher code:
Also there for you internationally: