Benchmark Analysis with FaCT
I. Horrocks
Details
| Book Title |
Proc. of the 4th Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX 2000) |
| ISBN |
3−540−67697−X |
| Number |
1847 |
| Pages |
62–66 |
| Publisher |
Springer−Verlag |
| Series |
Lecture Notes in Artificial Intelligence |
| Year |
2000 |