Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Autor: Yves Bertot

Libro
paperback
Categoría: Matemáticas Aplicadas
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Precio normal del libro: 82.91 EUR
Descuento: -31 %
Nuestro precio: 56.38 EUR
(precio actualizado 23.09.2024)

Envío gratuito a España más

Comentarios de los lectores y reseñas de libros: Amazon

Ver y pedir

Solicitud inválida.