K. Broda is an author at Imperial College London specializing in automated reasoning, engineering, and computer science.
Top concepts
EngineeringAutomated ReasoningSemanticsFormal MethodsComputer ScienceLawReasoningData ScienceEpistemologySocial Sciences
Publications per year
2001–2007
3
3
Pandora: A Reasoning Toolbox using Natural Deduction Style
K. Broda, Jian Ma, Gabrielle Sinnadurai et al. · Logic Journal of IGPL · 2007 · 19 citations
Rows per page
1–3 of 3