Jeux
Applications
Films et émissions
Livres
Enfants
google_logo Play
Jeux
Applications
Films et émissions
Livres
Enfants
none
search
help_outline
Se connecter avec Google
play_apps
Bibliothèque et appareils
payment
Paiements et abonnements
reviews
Mon activité Play
redeem
Offres
Play Pass
settings
Paramètres
Politique de confidentialité
•
Conditions d'utilisation
Jeux
Applications
Films et émissions
Livres
Enfants
Ebooks
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
19,25 $US
16,75 $US
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
19,25 $US
16,75 $US