Browse wiki
From Semantic Portal Wiki
| Empirically successful automated reasoning: systems issue |
| Author | Bernd Fischer +, Geoff Sutcliffe +, Stephan Schulz + |
|---|---|
| Bibtype | article + |
| Doi | http://dx.doi.org/10.1007/s10817-006-9059-5 + |
| Journal | J. Autom. Reasoning + |
| Key | dblp:journals/jar/fischerss06 + |
| Modification dateThis property is a special property in this wiki. | 9 July 2009 14:27:32 + |
| Number | 4 + |
| Pages | 287 + |
| Source | http://dblp.uni-trier.de/rec/bibtex/journals/jar/FischerSS06 + |
| Tag | Computer science + |
| Title | Empirically Successful Automated Reasoning: Systems Issue + |
| Volume | 36 + |
| Year | 2006 + |
| Categories | Journal Paper, Publication |
| hide properties that link here |
| No properties link to this page. |
