Automated Reasoning in Higher-Order Logic, Studies in Logic | DealShopping France
  1. Page d’accueil
  2. Automated Reasoning in Higher-Order Logic, Studies in Logic, Logic and Cognitive Systems
  • #

Automated Reasoning in Higher-Order Logic, Studies in Logic, Logic and Cognitive Systems

73.15 EUR

Partager:

Produits connexes

Virtual Selling

Virtual Selling

6.17 EUR
Larrey, Father Philip Connected World: From Automated Work To Virtual Wars: The Future, By Those Who Are Shaping It

Larrey, Father Philip Connected World: From Automated Work To Virtual Wars: The Future, By Those Who Are Shaping It

3.25 EUR
Handbook of Practical Logic and Automated Reasoning

Handbook of Practical Logic and Automated Reasoning

312.99 EUR
Automated Reasoning With Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence

Automated Reasoning With Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence

123.99 EUR
Jürgen Hagedorn Handbook Of Coil Winding: Technologies For Efficient Electrical Wound Products And Their Automated Production

Jürgen Hagedorn Handbook Of Coil Winding: Technologies For Efficient Electrical Wound Products And Their Automated Production

119.99 EUR
Larrey, Father Philip Connected World: From Automated Work To Virtual Wars: The Future, By Those Who Are Shaping It

Larrey, Father Philip Connected World: From Automated Work To Virtual Wars: The Future, By Those Who Are Shaping It

4.98 EUR