Time And Logic
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1995 |
| Authors | Leonard Bolc |
| Editors | Andrzej Szalas |
| Leonard Bolc | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2910550 |
About Time And Logic
Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. . . .