Shelfclass_id | 4.B.1 |
Sortkey | BARRINGER, HOWARD |
Authors | Howard Barringer, Michael Fisher, Dov Gabbay, m Graham Gough |
Title | Advances in Temporal Logic |
Publisher | Kluwer Academic Publishers |
Year | c2000 |
Languages | eng |
Isbn | 0792361490 |
Series | Applied logic series |
Volume | 16 |
Description | (acid-free paper) ix, 453 p. ill. 25 cm. |
Record date | 20071105 |
Location | Boston |
Keywords | Computer logic, Temporal databases |
Notes | Selected papers from an international conference held in Manchester, UK, in 1997. |