Fisher, Michael
[HerausgeberIn]
;
IJCAI 13 1993 Chambéry,
Workshop on Executable Modal and Temporal Logics 1993 Chambéry
Executable modal and temporal logics
: IJCAI '93 Workshop, Chambéry, France, August 28, 1993, proceedings; [papers presented at the Workshop on "Executable Modal and Temporal Logics" held as part of IJCAI'93]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Konferenzbericht
Titel:
Executable modal and temporal logics
:
IJCAI '93 Workshop, Chambéry, France, August 28, 1993, proceedings; [papers presented at the Workshop on "Executable Modal and Temporal Logics" held as part of IJCAI'93]