Statistics
Publications
1
Citations
125
H-Index
1
Active since
2004
Affiliations
University of Amsterdam(Current)
Hideo Nagahashi is an author at University of Amsterdam specializing in automated reasoning.
Top concepts
Publications per year
2004–2004
1
1
1–1 of 1