Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: H
Number of items: 1.

H

Howe, Jacob M. (1997) Two Loop Detection Mechanisms: A Comparison. In: Galmiche, D., ed. Automated Reasoning with Analytic Tableaux and Related Methods International Conference. Lecture Notes in Artificial Intelligence . Springer, Berlin, Germany, pp. 188-200. ISBN 978-3-540-62920-7. E-ISBN 978-3-540-69046-7. (doi:10.1007/BFb0027414) (KAR id:21499)
Format: Other Format: PDF

This list was generated on Wed Dec 25 00:05:00 2024 GMT.