Ken-ichiro Shii
From MaRDI portal
Person:235610
Available identifiers
zbMath Open shii.ken-ichiroMaRDI QIDQ235610
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Towards the animation of proofs -- testing proofs by examples | 2002-03-03 | 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: Ken-ichiro Shii
