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

Où acheter (1) Caractéristiques

Sponsorisé

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

Rakuten FR

131.36 EUR

Prix mis à jour le: 10-07-2025 02:33:38

Voir l'offre

Général

Marque

Michael Rusinowitch

ISBN

Michael Rusinowitch 3540223452

MPN

Michael Rusinowitch Illustrations

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 Theorem Proving, Artificial Intelligence Series

Automated Theorem Proving, Artificial Intelligence Series

Automated Planning And Acting

Automated Planning And Acting

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