Dominik Dietrich (German Research Center for Artificial Intelligence (DFKI)

Identifiers

• name variant Dominik Dietrich (German Research Center for Artificial Intelligence (DFKI) 0.60 · backfill

Papers (1)

1. Towards an Intelligent Tutor for Mathematical Proofs cs.AI · 2012 · author #4

Mentions

• 1202.4828 #4 · backfill · confidence 0.70 Dominik Dietrich (German Research Center for Artificial Intelligence (DFKI)

Frequent Coauthors

• Bremen 1 shared papers
• Germany) 1 shared papers
• London 1 shared papers
• Marvin Schiller (Brunel University 1 shared papers
• Serge Autexier (German Research Center for Artificial Intelligence (DFKI) 1 shared papers
• UK) 1 shared papers