Forked from
KWARC / kwarc.info / www
Source project has a limited visibility.
-
Michael Kohlhase authored
| ?.?? 2018| Jonas Butz |Mathematical models as research data via flexiformal theory graphs| -->
Michael Kohlhase authored| ?.?? 2018| Jonas Butz |Mathematical models as research data via flexiformal theory graphs| -->
