Search
Images
Maps
Play
YouTube
News
Gmail
Drive
More
»
Sign in
Libros
Mi biblioteca
Ayuda
Búsqueda avanzada de libros
Conseguir libro impreso
Ningún eBook disponible.
Amazon.com
LibreriadelaU.com
Muchoslibros.com
Buscar en una biblioteca
Todos los vendedores
»
Mi biblioteca
Libros en Google Play
Isabelle
:
A Generic Theorem Prover : with Contributions by Tobias Nipkow
Lawrence C. Paulson
Springer
, 1994 -
321 páginas
Otras ediciones -
Ver todas
Isabelle: A Generic Theorem Prover
Lawrence C. Paulson
Vista previa limitada
- 1994
Isabelle: A Generic Theorem Prover
Lawrence C. Paulson
Sin vista previa disponible
- 2014
Información bibliográfica
Título
Isabelle: A Generic Theorem Prover : with Contributions by Tobias Nipkow
Volumen828 de Lecture notes in computer science
Autor
Lawrence C. Paulson
Editor
Springer, 1994
ISBN
0387582444, 9780387582443
Largo
321 páginas
 
 
Exportar cita
BiBTeX
EndNote
RefMan