Executing temporal logic programs / B. C. Moszkowski
Main AuthorMoszkowski, B. C.CountryReino Unido.PublicationCambridge : Cambridge University Press, cop. 1986Description125 p. :
il. ;
23 cmISBN0-521-31099-7 CDU681.3.02
Tags from this library:No tags from this library for this title.Log in to add tags.
There are no comments for this item.