Judith Masthoff
From MaRDI portal
Person:2467557
Available identifiers
zbMath Open masthoff.judithDBLP88/2124WikidataQ59589890 ScholiaQ59589890MaRDI QIDQ2467557
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 |
|---|---|---|
| Automated theorem proving in Euler diagram systems | 2008-01-22 | Paper |
| Diagrammatic Representation and Inference | 2005-12-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045685 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046219 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4457380 | 2004-03-21 | Paper |
Research outcomes over time
This page was built for person: Judith Masthoff
