ESSLLI 2011 tutorial: Automated Synthesis of Tableau Calculi
Lecturers: Dr R. A. Schmidt and Dr D. Tishkovsky

Slot 5. Second Week.

9:00 - 10:30. Mon, 08 August 2011 - Fri, 12 August 2011.
Valid XHTML 1.0! Valid CSS! There were 319986 visits of this page since Wed, 01 Jun 2011 00:00:00 BST.
Last modified: Wed, 01 Jun 2011 22:26:19 BST.
Copyright ©2011 Dmitry Tishkovsky, School of Computer Science, University of Manchester