Sciweavers

Share
TABLEAUX
2005
Springer

LoTREC: Logical Tableaux Research Engineering Companion

10 years 14 days 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)
books