Firstorder Logic & Automated Theorem Pro
Sponsorisé
Fnac FR
130.30 EUR
Prix mis à jour le: 25-05-2026 00:05:53
Général
Marque
Springer
ISBN
Springer 1461275156
MPN
Springer biography
