Searching for authors named Kahlil Hodgson – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Semantic Guidance for Saturation-Based Theorem Proving
by Kahlil Hodgson, John Slaney — 2000 — Proving, TR-ARP-04-2000, Automated Reasoning Project, Australian National University
…Semantic Guidance for Saturation-Based Theorem Proving Kahlil Hodgson and John Slaney Australian…
Cited by 1 (0 self) – Add To MetaCart

System Description:
by Mscott John Slaney, John Slaney, John Slaney, Kahlil Hodgson, Kahlil Hodgson — 1998
… Description: MScott John Slaney and Kahlil Hodgson Abstract MScott (Multi-SCOTT) is a general purpose first…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB