Search Results - Lucca Tiemens

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Computer-supported Exploration of a Categorical Axiomatization of Modeloids

    Computer-supported Exploration of a Categorical Axiomatization of Modeloids by Lucca Tiemens, Scott, Dana S, Benzmüller, Christoph, Benda, Miroslav

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: