Carreño, Victor A. Theorem Proving In Higher Order Logics: 15th International Conference

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

Marque: Springer

Sponsorisé Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations

10.99 EUR 10.99 EUR

21-11-2025 02:34:21