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

100.99 EUR

Partager:
Sponsorisé

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

Fnac FR
Produit utilisé
100.99 EUR
02-08-2026 21:09:01

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

309.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
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