Executing temporal logic programs
By: B.C. Moszkowski.
Publisher: Cambridge University Press
Published: 1986
Place of publication: Cambridge [Cambridgeshire]; New York
Language: eng
Number of pages: 125
Subjects: Computer programming.; Logic, Symbolic and mathematical.
Notes: Bibliography: p. 120-125.