Browsing by Subject tableau algorithm
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Contributor(s) | Rank |
|---|---|---|---|---|
| 2009 | Model driven engineering of a tableau algorithm for description logics | Krdžavac, Nenad; Gašević, Dragan; Devedžić, Vladan | M23 |