Automatic Proof and Disproof in Isabelle/HOL (2011)
by
Jasmin Christian Blanchette
,
Lukas Bulwahn
,
Tobias Nipkow
Documents Related by Co-Citation
No related documents identified.
