Institute for Computer Science

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Christoph Kreitz (University of Potsdam 1 shared papers
• Germany) 1 shared papers
• Mario Frank (University of Potsdam 1 shared papers
• Potsdam 1 shared papers