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

95.85 EUR
Prix mis à jour le: 23-07-2025 17:06:13 Produit utilisé
Identifiants
ISBN Springer 1461275156
MPN Springer biography
Dimensions / poids
Fonctionnalités clés
Springer