"Technologies for "Complete, Transparent & Interactive Models of Math" ..."

Walther Neuper (2018)

Details and statistics

DOI: 10.4204/EPTCS.290.6

access: open

type: Conference or Workshop Paper

metadata version: 2021-11-22

a service of  Schloss Dagstuhl - Leibniz Center for Informatics