Mamadou Tadiou Koné is an author at Waseda University specializing in automated reasoning, formal methods, and computational linguistics.
Top concepts
EngineeringFormal MethodsAutomated ReasoningIntelligent SystemsMulti-agent SystemsComputational Linguistics
Publications per year
2000–2000
1
1
Rows per page
1–1 of 1