Result: Isabelle

*Title*:

Isabelle : a generic theorem prover / Lawrence C. Paulson. With contributions by Tobias Nipkow

*Author/editor-in-chief*:

Paulson, Lawrence C.

*Publication*:

Berlin [u.a.] : Springer, 1994

*Physical description scale*:

XVII, 321 S.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 828
*show_all_volumes*

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3540582444 ; 0387582444

*Result*: Isabelle