Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science (897), Band 897)

Executable

von: Richard Owens · Michael Fisher

Taschenbuch

ISBN: 978-3-540-58976-1

ISBN-10: 3-540-58976-7

Springer · 2008
Siehe auch:
1995PaperbackExecutable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993: Proceedings (Lecture Notes in Computer Science)