Theorem Proving In Higher Order Logics 17th International Conference Tphols | Desertcart Peru
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science, 3223)
ID del producto: 576406976
Transacción segura
Comprados juntos con frecuencia
Descripción
Preguntas comunes
Trustpilot
Trustscore 4.5 | Más de 7,300 reseñas
Anjali K.
La calidad del producto es excelente. Exactamente lo que necesitaba para mi trabajo.
Hace 1 mes
Zainab N.
Fantástico y excelente servicio. El envío fue más rápido de lo esperado.