“Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96, Turku, Finland, August 26 – 30, 1996, Proceedings (Lecture Notes in Computer Science)” se ha añadido a tu carrito. Ver carrito
Usamos cookies para asegurar que te damos la mejor experiencia en nuestra web. Si continúas usando este sitio, asumiremos que estás de acuerdo con ello.Aceptar