Helmut Horacek
From MaRDI portal
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 |
|---|---|---|
| Assertion-level proof representation with under-specification | 2013-09-09 | Paper |
| Argumentation within deductive reasoning International Journal of Intelligent Systems | 2007-02-20 | Paper |
| scientific article; zbMATH DE number 2090295 (Why is no real title available?) | 2004-08-12 | Paper |
| Tailoring inference-rich descriptions through making compromises between conflicting cooperation principles International Journal of Human-Computer Studies | 2003-04-03 | Paper |
| scientific article; zbMATH DE number 1728343 (Why is no real title available?) | 2002-04-15 | Paper |
| Presenting Herbrand models with linguistically motivated techniques | 2001-10-23 | Paper |
| Presenting inequations in mathematical proofs Information Sciences | 2000-01-04 | Paper |
| Natural language processing Computer Physics Communications | 1998-03-30 | Paper |
| scientific article; zbMATH DE number 67462 (Why is no real title available?) | 1992-09-27 | Paper |
Research outcomes over time
This page was built for person: Helmut Horacek
