Executable modal and temporal logics
Subtitle: IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
By: Michael Fisher, Richard Owens, eds.
Contributors: Fisher, Michael, 1962-; Owens, Richard, 1965-
Series: Lecture notes in computer science ;; 897.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 897.; Lecture notes in computer science.
Publisher: Springer
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 180
Subjects: Logic programming -- Congresses; Prolog (Computer program language) -- Congresses
Notes: Updated papers presented at the Workshop on Executable Modal and Temporal Logics.