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)
- 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