Gabrielle Sinnadurai

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Alexander J. Summers
Pandora: A Reasoning Toolbox using Natural Deduction Style. Log. J. IGPL 15 (4) (2007)