Statistics
Publications
1
Citations
19
H-Index
1
Active since
2007
Affiliations
Imperial College London(Current)
Gabrielle Sinnadurai is an author at Imperial College London specializing in automated reasoning, rule-based representation, and logical deduction.
Publications per year
2007–2007
1
1
Pandora: A Reasoning Toolbox using Natural Deduction Style
K. Broda, Jian Ma, Gabrielle Sinnadurai et al. · Logic Journal of IGPL · 2007 · 19 citations
1–1 of 1