Carreño, Victor A. Theorem Proving In Higher Order Logics: 15th International Conference, Tphols 2002 Hampton, Va, Usa, August 20-23, 2002 Proceedings (Lecture Notes In Computer Science, 2410, Band 2410)
10.99 EUR
Partager: ![]()
![]()
![]()
![]()
![]()
![]()
Sponsorisé
momox-shop.fr
Carreño, Victor A. Theorem Proving In Higher Order Logics: 15th International Conference, Tphols 2002 Hampton, Va, Usa, August 20-23, 2002 Proceedings (Lecture Notes In Computer Science, 2410, Band 2410)
momox-shop.fr Produit utilisé
21-11-2025 02:34:21
