Sciweavers

TABLEAUX
2005
Springer

LoTREC: Logical Tableaux Research Engineering Companion

14 years 4 months ago
LoTREC: Logical Tableaux Research Engineering Companion
Olivier Gasquet, Andreas Herzig, Dominique Longin,
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where TABLEAUX
Authors Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade
Comments (0)