Publications

Results 1-2 of 2 (Search time: 0.007 seconds).

	Issue Date	Title	Author(s)
1	2005	Automated reasoning, knowledge representation and management	Baumgartner, Peter; Furbach, Ulrich; Yahya, Adnan
2	21-Jul-2000	A parameterized procedure for model computations in disjunctive theories	Yahya, Adnan