Declan Thompson

Identifiers

• name variant Declan Thompson 0.60 · backfill

Papers (1)

1. Teaching natural deduction in the right order with Natural Deduction Planner cs.CY · 2015 · author #2

Mentions

• 1507.03681 #2 · backfill · confidence 0.70 Declan Thompson

Frequent Coauthors

• Jeremy Seligman 1 shared papers