Resultados de búsquedaBases de datos
1 Resultados encontrados   Suscribirse a los resultados de búsqueda
Seleccionar todo
Cambiar a vista de lista
Cambiar a vista en miniatura
0DEFAULT
Imprimir
1. 
Imagen de portada para Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions
Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions
Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions
Autor 
Bertot, Yves. author. Castéran, Pierre. author. SpringerLink (Online service)
Signatura topográfica preferida 
QA8.9 -10.3
ISBN 
9783662079645
Full Text Available From Springer Nature Computer Science Archive Packages
Formato: 
Recursos electrónicos
Disponible:
Seleccionar todo
1 Resultados encontrados   Suscribirse a los resultados de búsqueda
Limitar resultados de búsqueda
Autor
Idioma
Fecha de publicación
Este gráfico muestra la distribución de las fechas de publicación para su uso con un deslizador de rango de fechas. Cambie a la vista Años para un desglose más detallado de los resultados de la búsqueda por año.
-
2004
(1)
Materia
Tipo de material
Ubicación en el estante
Biblioteca