J Strother Moore

Identifiers

• name variant J Strother Moore 0.60 · backfill

Papers (1)

1. Automation of Mathematical Induction as part of the History of Logic cs.AI · 2013 · author #1

Mentions

• 1309.6226 #1 · backfill · confidence 0.70 J Strother Moore

Frequent Coauthors

• Claus-Peter Wirth 1 shared papers