Los usuarios de lectores de pantalla deben hacer clic en este vínculo para usar el modo de accesibilidad. El modo de accesibilidad tiene las mismas funciones esenciales, pero funciona mejor con los lectores.

Libros

Isabelle: A Generic Theorem Prover : with Contributions by Tobias Nipkow

Portada

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

Acerca de Google Libros - Política de Privacidad - Condiciones de uso - Información para editores - Informar un problema - Ayuda - Página principal de Google