Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)
Sponsorisé Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations
Fnac FR
Sponsorisé Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A, Computer Science and Technology, A-20
782.99 EUR
Prix mis à jour le: 23-08-2026 11:22:09
782.99 EUR
Prix mis à jour le: 23-08-2026 11:22:09 | Identifiants | |
|---|---|
| Dimensions / poids | |
| Fonctionnalités clés |
