2 links
CADE-20 Workshop on Empirically Successful Classical Automated Reasoning
cs.miami.edu
Tallinn, Estonia; 22--26 July 2005.
Showing 20–2 of 2 results