Sciweavers

DLOG
1996

A New Method for Testing Decision Procedures in Modal and Terminological Logics

14 years 24 days ago
A New Method for Testing Decision Procedures in Modal and Terminological Logics
Fausto Giunchiglia, Marco Roveri, Roberto Sebastia
Added 02 Nov 2010
Updated 02 Nov 2010
Type Conference
Year 1996
Where DLOG
Authors Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani
Comments (0)