Executable Modal And Temporal . . .
Use attributes for filter ! | |
Google books | books.google.com |
---|---|
Originally published | 1995 |
Editors | Michael Fisher |
Date of Reg. | |
Date of Upd. | |
ID | 1826442 |
About Executable Modal And Temporal . . .
"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 statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. . . .