TABLEAUX 2011 Workshops, Tutorials, and Short Papers
Martin Giese and Roman Kuznets (editors)
Technical Report, Institut für Informatik und angewandte Mathematik, 2011
Download:
PDF document
(2234Kb)
PDF document
(2234Kb)
