Translate

Home » Executable Modal and Temporal Logics: IJCAI '93 Workshop
Showing posts with label Executable Modal and Temporal Logics: IJCAI '93 Workshop. Show all posts
Showing posts with label Executable Modal and Temporal Logics: IJCAI '93 Workshop. Show all posts
Download Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science (897)) Hardcover
Subscribe to: Posts (Atom)