Browse wiki
From Semantic Portal Wiki
| Automatic generation of benchmark problems for automated theorem proving systems |
| Author | Simon Colton +, Geoff Sutcliffe + |
|---|---|
| Bibtype | inproceedings + |
| Booktitle | AMAI + |
| Doi | http://rutcor.rutgers.edu/%24%5Csim%24amai/aimath02/PAPERS/6.ps + |
| Key | dblp:conf/amai/coltons02 + |
| Modification dateThis property is a special property in this wiki. | 9 July 2009 14:27:38 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/amai/ColtonS02 + |
| Tag | Computer science + |
| Title | Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems + |
| Year | 2002 + |
| Categories | Proceeding Paper, Publication |
| hide properties that link here |
| No properties link to this page. |
