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

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

56.22 EUR
Handbook of Practical Logic and Automated Reasoning

Handbook of Practical Logic and Automated Reasoning

136.01 EUR
Automated Reasoning: Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Automated Reasoning: Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4-8, 2004, Proceedings

131.36 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

34.75 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
Virtual Selling

Virtual Selling

6.17 EUR