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é
Identifiants
ISBN Springer 1461275156
MPN Springer biography
Dimensions / poids
Fonctionnalités clés
Springer