Interactive theorem proving with Cambridge LCF
de Lawrence C. Paulson · Publicada por primera vez en 1985
Ediciones (1)
- Interactive theorem proving with Cambridge LCF (1985)
University of Cambridge,Computer Laboratory · inglés
de Lawrence C. Paulson · Publicada por primera vez en 1985
University of Cambridge,Computer Laboratory · inglés
1988
