Wolfgang Bibel Automated Theorem Proving
Sponsorisé Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations
Fnac FR
Sponsorisé Automated Theorem Proving
81.06 EUR
Prix mis à jour le: 02-09-2026 03:59:28
81.06 EUR
Prix mis à jour le: 02-09-2026 03:59:28 | Identifiants | |
|---|---|
| Dimensions / poids | |
| Fonctionnalités clés |
Vieweg+teubner Verlag
