Statistical Epistemic Logic (Englisch)
- Neue Suche nach: Kawamoto, Yusuke
- Neue Suche nach: Kawamoto, Yusuke
In:
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
3
;
344-362
;
2019
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Statistical Epistemic Logic
-
Beteiligte:Kawamoto, Yusuke ( Autor:in )
-
Erschienen in:The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy , 3 ; 344-362Theoretical Computer Science and General Issues ; 11760, 3 ; 344-362
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:01.01.2019
-
Format / Umfang:19 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle: