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

Sponsorisé Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)

61.74 EUR
Prix mis à jour le: 16-05-2026 17:14:34 Produit utilisé
Voir l'offre

Sponsorisé Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A, Computer Science and Technology, A-20

282.99 EUR
Prix mis à jour le: 16-05-2026 20:56:25
Voir l'offre
Identifiants
Dimensions / poids
Fonctionnalités clés