Executing temporal logic programs


B. E. Moszkowski
Bok Språk ikke angitt 1986
Utgitt
Cambridge : Cambridge University Press , c1986
Omfang
125 s.
Emner
ISBN
0521310997

Bibliotek som har denne