Optimising Tableaux Decision Procedures for Description Logics
Ian Horrocks
Details
| Annote |
AKA: Horrocks97b |
| School |
University of Manchester |
| Year |
1997 |
Ian Horrocks
| Annote |
AKA: Horrocks97b |
| School |
University of Manchester |
| Year |
1997 |