Saturnino F. Luz
From MaRDI portal
Person:1854379
Available identifiers
zbMath Open luz.saturnino-fDBLP92/1880WikidataQ55875577 ScholiaQ55875577MaRDI QIDQ1854379
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Using tableaux to automate the Lambek and other categorial calculi | 2003-01-14 | Paper |
| A tool for interactive advice on the use of speech in multimodal systems | 2002-05-20 | 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: Saturnino F. Luz
