Screen LibraryAdvances in temporal logic
Saved in:
| Group Author: | |
|---|---|
| Published: |
Kluwer Academic Publishers,
|
| Publisher Address: | Dordrecht |
| Publication Dates: | c2000. |
| Literature type: | Book |
| Language: | English |
| Series: |
Applied logic series ; v. 16 |
| Subjects: | |
| Carrier Form: | ix, 453 p.: ill. ; 25 cm. |
| ISBN: | 0792361490 (acid-free paper) |
| Index Number: | TP311 |
| CLC: |
TP311.1-1 TP301.6-1 |
| Call Number: | TP301.6-1/A244/1997 |
| Contents: |
Selected papers from an international conference held in Manchester, UK, in 1997. Includes bibliographical references. |