Andreas Wolf
From MaRDI portal
Person:2721214
Available identifiers
zbMath Open wolf.andreasMaRDI QIDQ2721214
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Integration of automated and interactive theorem proving in ILF | 2019-10-01 | Paper |
| ILF-SETHEO | 2019-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766732 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723562 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721215 | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4493896 | 2001-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524776 | 2001-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518887 | 2000-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4213376 | 1998-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218966 | 1998-11-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4385443 | 1998-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858948 | 1995-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858952 | 1995-12-20 | Paper |
| Nonparametric estimation of residual variance revisited | 1993-12-08 | 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: Andreas Wolf
