UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 7111
DCS Tech Report Number: TR-2003-153

Implementation of the General Matings Method in Isabelle/HOL
Quigley,C.L.

Publication Type: Tech Report (internal)
Appeared in:
Page Numbers : 23
Publisher: N/A
Year: 2003
Abstract:

No abstract available.

Keywords: Isabelle, decision procedures, automated proof


Bibtex entry Endnote XML