Mario Frank (University of Potsdam

Identifiers

No identifiers captured yet.

Papers (1)

1. A Theorem Prover for Scientific and Educational Purposes cs.HC · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Christoph Kreitz (University of Potsdam 1 shared papers
• Germany) 1 shared papers
• Institute for Computer Science 1 shared papers
• Potsdam 1 shared papers