×

zbMATH — the first resource for mathematics

Isabelle. A generic theorem prover. (English) Zbl 0825.68059
Lecture Notes in Computer Science. 828. Berlin: Springer-Verlag. xvii, 321 p. DM 66.00; öS 514.80; sFr 66.00 /sc (1994).

MSC:
68-02 Research exposition (monographs, survey articles) pertaining to computer science
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
Software:
Isabelle
PDF BibTeX XML Cite
Full Text: DOI