Browse by Journal
![[up]](/style/images/multi_up.png)
Up a levelJump 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) |
|
