Treffer: Probabilistic metric temporal graph logic
Titel:
Probabilistic metric temporal graph logic / Sven Schneider, Maria Maximova, Holger Giese
Verantwortlich:
Veröffentlicht:
Potsdam : Universität Potsdam, 2021Potsdam : Universitätsverlag Potsdam, 2021
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 140
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Probabilistic metric temporal graph logic. - Potsdam : Universitätsverlag Potsdam, 2022
DOI:
10.25932/publishup-51506