| Author | Michael Fisher , Dov Gabbay |
| Format | Hardcover |
| ISBN | 9780792361497 |
| Publication Date | 09/08/2006 |
| Publisher | Kluwer Academic Publishers |
| Manufacturer | Kluwer Academic Publishers Group |
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.
Loading similar products...
Stay informed about the best deals and price drops. Choose which notifications you'd like to receive from PriceCheck.
Free easy-to-follow course for anyone in South Africa who wants to learn how to start a digital business.