Book
This volume presents a number of articles from leading researchers containing results in such areas as: pure temporal/modal logic; specification and verification; temporal databases; temporal aspects in AI; tense and aspect in natural language; and temporal theorem proving. «
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
There are no reviews for this book yet.