Executable modal and temporal logics : IJCAI'93 workshop : proceedings / ed. Michael Fisher, Richard Owens
Secondary Author Fisher, MichaelOwens, Richard Corporate Author (Secondary) IJCAI'93Workshop, Chambery, 1993 Country Alemanha. Publication Berlin : Springer-Verlag, cop. 1995 Description 180 p. : 24 cm ; 24 cm Series Lecture notes in artificial intelligence.. subseries of lecture notes in computer science , 897) ISBN 3-540-58976-7 CDU 519.68
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Monografia | Biblioteca da UMinho no Campus de Azurém | BPG3 519.68 - E | Available | 189315 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.