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

110.89 EUR
Prix mis à jour le: 29-07-2026 08:12:11
Identifiants
ISBN Springer 1461275156
MPN Springer biography
Dimensions / poids
Fonctionnalités clés
Springer