Firstorder Logic & Automated Theorem Pro
Sponsorisé Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations
Sponsorisé Firstorder Logic & Automated Theorem Pro
130.30 EUR
Prix mis à jour le: 17-06-2026 02:38:59 Produit utilisé
130.30 EUR
Prix mis à jour le: 17-06-2026 02:38:59 Produit utilisé | Identifiants | |
|---|---|
| ISBN | Springer 1461275156 |
| MPN | Springer biography |
| Dimensions / poids | |
| Fonctionnalités clés | |



