Sciweavers

JAR
2000

Single Step Tableaux for Modal Logics

14 years 8 days ago
Single Step Tableaux for Modal Logics
Fabio Massacci
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2000
Where JAR
Authors Fabio Massacci
Comments (0)