Advances in temporal logic
edited by Howard Barringer ... [et al.]
Bok Engelsk 2000
| Utgitt | Dordrecht ; Boston : Kluwer Academic Publishers , c2000
|
|---|---|
| Omfang | IX, 453 s. : ill.
|
| Opplysninger | Includes bibliographical references.. - Selected papers from an international conference held in Manchester, UK, in 1997.
|
| Emner | |
| ISBN | 0792361490
|
