Isabelle
Subtitle: a generic theorem prover
By: Lawrence C. Paulson ; with contributions by Robias Nipkow.
Series: Lecture notes in computer science ;; 828
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin; New York
Language: eng
Number of pages: 321
Subjects: Isabelle (Computer file); Automatic theorem proving
Notes: sqcludes bibliographical refernces (p. [301]-304) and index.