1
Publications
34
Citations
1
H-Index
2004
Active since
Takehisa Takahashi is an author specializing in engineering, knowledge representation, and automated reasoning.
Top concepts
SemanticsEngineeringArgumentationFormal MethodsComputer ScienceLogic ProgrammingAutomated ReasoningFormal VerificationKnowledge Representation
Publications per year
2004–2004
1
1
Rows per page
1–1 of 1