Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Libros Libros

Isabelle: A Generic Theorem Prover

Lawrence C. Paulson - 2014 - 329 páginas
Sin vista previa disponible - Acerca de este libro

Isabelle: A Generic Theorem Prover

Lawrence C. Paulson - 1994 - 321 páginas
Sin vista previa disponible - Acerca de este libro




  1. Mi biblioteca
  2. Ayuda
  3. Búsqueda avanzada de libros