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

By Michael Fisher

Book Overview

This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993. The direct execution of logical... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540589767
• ISBN13: 9783540589761
• Release Date: February 1995
• Publisher: Springer
• Length: 196 Pages
• Weight: 0.62 lbs.
• Dimensions: 9.3" x 0.5" x 6.1"