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

Où acheter (1) Caractéristiques

Sponsorisé

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

Fnac FR

73.15 EUR

Prix mis à jour le: 20-06-2026 02:26:16

Voir l'offre

Général

Marque

Brown, C. E.

Caractéristiques

Produits similaires

Virtual Selling: Going Beyond the Automated Sales Force to Achieve Total Sales Quality

Virtual Selling: Going Beyond the Automated Sales Force to Achieve Total Sales Quality

Handbook of Practical Logic and Automated Reasoning

Handbook of Practical Logic and Automated Reasoning

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

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

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

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