FORSIP
BAYERISCHER FORSCHUNGSVERBUND FüR SITUIERUNG, INDIVIDUALISIERUNG UND PERSONALISIERUNG IN DER MENSCH-MASCHINE INTERAKTION
Automaton-Descriptions and Theorem-Proving: A Marriage made in Heaven?
19.02.2018

