Advances in temporal logic /
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer-Science+Business Media,
[2000]
|
| Series: | Applied logic series ;
volume 16. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Item Description: | "Originally published by Kluwer Academic Publishers in 2000. Softcover reprint of the hardcover 1st edition 2000." Selected papers from an international conference held in Manchester, UK, in 1997. |
|---|---|
| Physical Description: | 1 online resource (ix, 453 pages) : illustrations. |
| Bibliography: | Includes bibliographical references. |
| ISBN: | 9789401595865 (electronic bk.) 9401595860 (electronic bk.) |