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
Produit utilisé

101.99 EUR

Prix mis à jour le: 13-10-2026 02:16:22

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

Dès6.17 EUR 2

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

Dès123.99 EUR 1

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

Dès3.25 EUR 1

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

Dès3.25 EUR 1

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

Dès119.99 EUR 1

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

Dès141.54 EUR 1