Publications

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

Results 1-2 of 2 (Search time: 0.003 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