Browse wiki
From Semantic Portal Wiki
| Automated theorem proving: a review |
| Author | Geoff Sutcliffe + |
|---|---|
| Bibtype | article + |
| Journal | AI Magazine + |
| Key | dblp:journals/aim/sutcliffe02 + |
| Modification dateThis property is a special property in this wiki. | 9 July 2009 14:27:41 + |
| Number | 1 + |
| Pages | 121 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/journals/aim/Sutcliffe02 + |
| Tag | Computer science + |
| Title | Automated Theorem Proving: A Review + |
| Volume | 23 + |
| Year | 2002 + |
| Categories | Journal Paper, Publication |
| hide properties that link here |
| No properties link to this page. |
