Context

Context of Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings, edited by David Basin, Michaël Rusinowitch, (electronic resource)
Processing Feedback ...