Automated Theorem Proving, Artificial Intelligence Series

Où acheter (1) Caractéristiques

Sponsorisé

Automated Theorem Proving, Artificial Intelligence Series

Fnac FR

168.36 EUR

Prix mis à jour le: 30-09-2026 11:47:34

Voir l'offre

Général

Marque

Wolfgang Bibel

ISBN

Wolfgang Bibel 3528185201

MPN

Wolfgang Bibel biography

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

Firstorder Logic & Automated Theorem Pro

Firstorder Logic & Automated Theorem Pro

Dès115.42 EUR 1

Automated Theorem Proving

Automated Theorem Proving

Dès152.80 EUR 1

Automated Theorem Proving

Automated Theorem Proving

Dès190.88 EUR 1

Automated Theorem Proving

Automated Theorem Proving

Dès83.84 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