Jeux
Applications
Films et TV
Livres
Enfants
google_logo Play
Jeux
Applications
Films et TV
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
Règles de confidentialité
•
Conditions d'utilisation
Jeux
Applications
Films et TV
Livres
Enfants
E-books
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