Author: FISHER, MICHAEL; OWENS, RICHARD (EDS.)
Title: Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
Description: 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.

Keywords: Computer Science 9783540589761


See more books from our catalog: Computer Science