TABLEAUX 2013 tutorial: Generating tableau provers using MetTeL2
Lecturers: Dr D. Tishkovsky and Dr R. A. Schmidt

Tutorial materials

Valid XHTML 1.0! Valid CSS! There were 179685 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