FISHER, MICHAEL; OWENS, RICHARD (EDS.) — Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

New York, Springer-Verlag, 1995. Ed.: Reprint. Paperback. ISBN: 9783540589761. Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 897 This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery. Very Good/Wraps.