Yoshihisa Ohtake is an author at Nippon Steel (Japan) specializing in logic programming, computer science, and engineering.
Top concepts
EngineeringComputer ScienceLogic ProgrammingAutomated ReasoningReasoningSemanticsCriminal LawArgumentationFormal MethodsDecision Theory
Publications per year
1993–1993
2
2
Rows per page
1–2 of 2