ESSLLI 2011
tutorial:
Automated Synthesis of Tableau Calculi
Lecturers:
Dr R. A. Schmidt
and
Dr D. Tishkovsky
News
Description
Timetable
Course materials
Moodle page
Course materials
(in PDF)
Lecture notes:
Automated Synthesis of Tableau Calculi
(Last modified: Sun, 21 Aug 2011 15:37:14 BST)
MetTeL prover online
There were 320543 visits of this page since Wed, 01 Jun 2011 00:00:00 BST.
Last modified: Wed, 01 Jun 2011 23:44:47 BST.
Copyright ©2011
Dmitry Tishkovsky
,
School of Computer Science
,
University of Manchester