Format:
XI, 545 S.
,
graph. Darst.
ISBN:
354058241X
,
038758241X
Series Statement:
Lecture notes in computer science 827 : Lecture notes in artificial intelligence
Note:
Literaturangaben
Language:
English
Subjects:
Computer Science
,
Philosophy
Keywords:
Temporale Logik
;
Konferenzschrift
Author information:
Gabbay, Dov M. 1945-