Automated Reasoning
URL: http://plato.stanford.edu/entries/reasoning-automated/
Submitted: Sat Sep 06 2003
Rating: 0.00
Votes: 0
CT: Philosophy: Reference: Stanford Encyclopedia of Philosophy: Automated Reasoning
Detailed Traffic Statistic From Alexa
Description:
Survey of automated deduction and theorem proving; by Frederic Portoraro.