Publications

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

Results 1-3 of 3 (Search time: 0.007 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
31-Mar-2002Ordered semantic hypertableauxYahya, Adnan; Plaisted, David A.