Search:

Start a new search
Add/Remove Filters (2 filters currently applied)

Results 1-4 of 4 (Search time: 0.178 seconds).
 |  Relevance

 

  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
1Dec-2001SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancyLoveland, Donald; Yahya, Adnan
2Mar-2003A relevance restriction strategy for automated deductionPlaisted, David A.; Yahya, Adnan
34-Mar-2001Incorporating bidirectional relevancy into model generation theorem proversYahya, Adnan
41-Mar-2002Ordered semantic hypertableauxYahya, Adnan; Plaisted, David A.