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) |