Su búsqueda retornó 2 resultados.

Resultados
	1.	Concrete semantics : with isabelle/hol / Tobias Nipkow, Gerwin Klein. por Nipkow, Tobias [autor.] Klein, Gerwin [autor.] SpringerLink (Servicio en línea) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Springer, 2014 Acceso en línea: Conectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	2.	Interactive theorem proving : 5th international conference, itp 2014, held as part of the vienna summer of logic, vsl 2014, vienna, austria, july 14-17, 2014. Proceedings / edited by Gerwin Klein, Ruben Gamboa. por Klein, Gerwin [editor.] Gamboa, Ruben [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 8558 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Springer, 2014 Acceso en línea: Conectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)

Refinar su búsqueda