Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
Howe, Jacob M. (1997) Two Loop Detection Mechanisms: A Comparison. In: Galmiche, D., ed. TABLEAUX'97, Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Artificial Intelligence, 1227. Springer-Verlag pp. 188-200. ISBN 3-540-62920-3. (doi:https://doi.org/10.1007/BFb0027400) (Full text available) |