Sign in
Hidden fields
Búsqueda avanzada de libros
Libros
Libros
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Tobias Nipkow
,
Lawrence C. Paulson
,
Markus Wenzel
- 2014 -
226 páginas
Sin vista previa disponible
-
Acerca de este libro
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Tobias Nipkow
,
Lawrence C. Paulson
,
Markus Wenzel
- 2002 -
244 páginas
Sin vista previa disponible
-
Acerca de este libro
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Tobias Nipkow
,
Lawrence C. Paulson
,
Markus Wenzel
- 2002 -
0 páginas
Sin vista previa disponible
-
Acerca de este libro
Búsqueda avanzada de libros
Mi biblioteca
Ayuda
Búsqueda avanzada de libros