TABLEAUX 2013
tutorial: Generating tableau provers using
MetTeL2
Lecturers:
Dr D. Tishkovsky
and
Dr R. A. Schmidt
Description
Content
Materials
TABLEAUX2013
Tutorial materials
Tutorial notes:
Generating Tableau Provers Using MetTeL2
(Last modified: Wed, 18 Sep 2013 13:56:15 BST)
MetTeL2 prover generator
There were 316240 visits of this page since Sun, 12 May 2013 00:00:00 BST.
Last modified: Fri, 20 Sep 2013 07:43:49 BST.
Copyright ©2011
Dmitry Tishkovsky
,
School of Computer Science
,
University of Manchester