A. A. Voronkov
From MaRDI portal
Person:2943210
Available identifiers
zbMath Open voronkov.a-aMaRDI QIDQ2943210
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Liss — The logic inference search system | 2023-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2943211 | 2015-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2943226 | 2015-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4700634 | 1999-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038676 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3496309 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5752570 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4732469 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3820599 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789560 | 1987-01-01 | Paper |
| Automatic theorem proving. II | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3819964 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3782836 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3791149 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3782837 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4720798 | 1985-01-01 | Paper |
Research outcomes over time
This page was built for person: A. A. Voronkov
