Reviews matching “Executing temporal logic programs”

2 results

BookAuthorReviewerJournalDate
Executing temporal logic programs B. C. Moszkowski Joseph Y. Halpern The Journal of Symbolic Logic 1988
Executing temporal logic programs B. C. Moszkowski Tung Shih Ping The Journal of Symbolic Logic 1988

Open this search with filters