Browse wiki
From Semantic Portal Wiki
| Combined reasoning by automated cooperation |
| Author | Christoph Benzmuller +, Volker Sorge +, Mateja Jamnik +, Manfred Kerber + |
|---|---|
| Bibtype | article + |
| Doi | http://dx.doi.org/10.1016/j.jal.2007.06.003 + |
| Journal | J. Applied Logic + |
| Key | BS+08 + |
| Modification dateThis property is a special property in this wiki. | 8 January 2010 16:46:07 + |
| Number | 3 + |
| Pages | 318-342 + |
| Paper url | http://www.ags.uni-sb.de/%7Echris/papers/J16.pdf + |
| Tag | Tactic +, Proof theory +, Computer science + |
| Title | Combined reasoning by automated cooperation + |
| Volume | 6 + |
| Year | 2008 + |
| Categories | Journal Paper, Publication |
| hide properties that link here |
| No properties link to this page. |
