Search:

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

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

 

  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
12005Automated reasoning, knowledge representation and managementBaumgartner, Peter; Furbach, Ulrich; Yahya, Adnan
221-Jul-2000A parameterized procedure for model computations in disjunctive theoriesYahya, Adnan
34-Mar-2001Incorporating bidirectional relevancy into model generation theorem proversYahya, Adnan
41-Mar-2002Ordered semantic hypertableauxYahya, Adnan; Plaisted, David A.