Skip to main content
Kent Academic Repository
Simple search | Advanced search

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Conference or workshop item
Number of items: 1.

Conference or workshop item

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)
[img] [img]
Preview

This list was generated on Fri May 24 00:45:36 2019 BST.
SensusAccess
Feedback