Proceedings of the Third international joint conference on Automated Reasoning

• Authors:

• Ulrich Furbach;Natarajan Shankar

• Affiliations:

• Department of Computer Science, Artificial Intelligence Research Group, University of Koblenz-Landau, Universitätsstr. 1, Koblenz,;Department of Computer Science, Artificial Intelligence Research Group, SRI International, MS EL256,, 333 Ravenswood Avenue, Menlo Park, CA,

• Venue:
• IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
• Year:
• 2006