|
|
 | |
Detail information for: Automated Reasoning |
| ID: | 14200 |
| Title: | Automated Reasoning - http://plato.stanford.edu/entries/reasoning-automated/ |
| Pagerank: | 0 |
| Description: | Survey of automated deduction and theorem proving; by Frederic Portoraro. |
| Category: | Reference: Encyclopedias |
| Link Owner: | |
| Date Added: | January 28, 2007 10:26:43 AM |
| Number Hits: | 0 |
Copyright Million Connections 2007, All right's Reserved. |