Hiroshi Nakamura
Original record- Institution
- University of Tokyo
- Year
- 1990
- Country
- Japan
- MGP identifier
- 215918
Dissertation: Logic Design Assistance System Based on Temporal Logic
Mathematics Subject Classification: 94—Information and communication, circuits
Advisor 1
- Hidehiko TanakaUniversity of Tokyo · 1970
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Yuan He | University of Tokyo | 2014 | 0 |
| Masaaki Kondo | University of Tokyo | 2003 | 0 |
| Hiroshi Sasaki | University of Tokyo | 2008 | 0 |