Cover Image

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.
Description
Physical Description:125 pages : illustrations ; 23 cm.
Bibliography:Bibliography: pages 120-125.
ISBN:0521310997 (pbk.)