Executable modal and temporal logics
: proceedings / IJCAI '93 workshop, Chambery, France, August 28, 1993 / Michael Fisher ; Richard Owens (ed.). - Berlin : Springer, 1995. - 180 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 897 : Lecture notes in artificial intelligence)
ISBN 978-3-540-58976-1 / 3-540-58976-7 kart. : DM 46.00
Literaturangaben
Quelle: DNB
Logics in artificial intelligence
: 10th European conference ; proceedings / JELIA 2006, Liverpool, UK, September 13 - 15, 2006. Michael Fisher ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4160 : Lecture notes in artificial intelligence)
ISBN 978-3-540-39627-7
Quelle: DNB