Hajime Sawamura is an author at Niigata University specializing in engineering, automated reasoning, and computer science.
Top concepts
EngineeringAutomated ReasoningComputer ScienceLanguageSemanticsLinguisticsArgumentationFormal MethodsFormal VerificationComputational Linguistics
Publications per year
1980–2009
5
5
Rows per page
1–5 of 5