Isabelle : a generic theorem prover
Paulson, Lawrence C.
Isabelle : a generic theorem prover - - Berlin Springer-Verlag 1994 - xvii,321 p. 23.5 cm - Lecture notes in computer science ; v.828 .
3-540-58244-42
Automatic theorem proving-Congresses
Proof theory-Congresses
Logic Programming-Congresses
681.3.06:517.1 Pau
Isabelle : a generic theorem prover - - Berlin Springer-Verlag 1994 - xvii,321 p. 23.5 cm - Lecture notes in computer science ; v.828 .
3-540-58244-42
Automatic theorem proving-Congresses
Proof theory-Congresses
Logic Programming-Congresses
681.3.06:517.1 Pau