Moszkowski,, B. C. Executing temporal logic programs / B. C. Moszkowski

Executing temporal logic programs / B. C. Moszkowski . - Cambridge : Cambridge University Press, cop. 1986 . - 125 p. : il. 23 cm
0-521-31099-7 (Brochado)

681.3.02