Thomas Kolbe
From MaRDI portal
Person:1854369
Available identifiers
zbMath Open kolbe.thomas-hMaRDI QIDQ1854369
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Plagiator — A learning prover | 2019-10-01 | Paper |
| Termination of theorem proving by reuse | 2019-01-15 | Paper |
| On terminating lemma speculations. | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524774 | 2001-10-21 | Paper |
| Proving theorems by reuse | 2000-06-04 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Thomas Kolbe
