Executing temporal logic programs /

Bibliographic Details

Main Author:	Moszkowski, B. C.
Format:	Book
Language:	English
Published:	Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986.
Subjects:	Computer programming. Logic, Symbolic and mathematical.