FORSIP

BAYERISCHER FORSCHUNGSVERBUND FüR SITUIERUNG, INDIVIDUALISIERUNG UND PERSONALISIERUNG IN DER MENSCH-MASCHINE INTERAKTION

Logo FORSIP

Automaton-Descriptions and Theorem-Proving: A Marriage made in Heaven?

19.02.2018

Maria Aretoulaki, Bernd Ludwig Linköping Electronic Articles in Computer and Information Science Vol. 4 (1999), No. 022

Informationen

Gründungsdatum

06.2002

Ende

08.2007

Gefördert durch

Bayerisches Staatsministerium für Wissenschaft, Forschung und Kunst