| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2000 | |
|---|---|---|
| 9 |      | Christoph Walther, Thomas Kolbe: Proving theorems by reuse. Artif. Intell. 116(1-2): 17-66 (2000) |
| 8 | | Christoph Walther, Thomas Kolbe: On Terminating Lemma Speculations. Inf. Comput. 162(1-2): 96-116 (2000) |
| 1997 | ||
| 7 |  | Thomas Kolbe: Optimizing proof search by machine learning techniques. Shaker 1997: I-III, 1-194 |
| 6 | | Thomas Kolbe, Jürgen Brauburger: Plagiator - A Learning Prover. CADE 1997: 256-259 |
| 5 | | Thomas Kolbe, Sabine Glesner: Many-Sorted Logic in a Learning Theorem Prover. KI 1997: 75-86 |
| 1996 | ||
| 4 | | Thomas Kolbe, Christoph Walther: Termination of Theorem Proving by Reuse. CADE 1996: 106-120 |
| 1995 | ||
| 3 | | Thomas Kolbe, Christoph Walther: Patching Proofs for Reuse (Extended Abstract). ECML 1995: 303-306 |
| 2 | | Thomas Kolbe, Christoph Walther: Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs. IJCAI 1995: 190-195 |
| 1994 | ||
| 1 | | Thomas Kolbe, Christoph Walther: Reusing Proofs. ECAI 1994: 80-84 |
| 1 | Jürgen Brauburger | [6] |
| 2 | Sabine Glesner | [5] |
| 3 | Christoph Walther | [1] [2] [3] [4] [8] [9] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page