Lotrec : The Generic Tableau Prover for Modal and Description Logics

Bibliographic citation L. Farinas Del Cerro, D. Fauthoux, O. Gasquet, A. Herzig, D. Longin, F. Massacci, "Lotrec : The Generic Tableau Prover for Modal and Description Logics": Springer Heidelberg, 2001, p. 453-458 -(Lecture Notes in Artificial Intelligence; 2083). Proceedings of: Proceedings of International Joint Conference on Automated Reasoning, IJCAR-01, 2001

Detail

Bibliographic notes: ISBN 3-540-42254-4