| Shelfclass_id | 4.D |
| Sortkey | ICTL 1994 |
| Authors | Editors: Dov M. Gabbay, Hans Jürgen Ohlbach |
| Title | ICTL 1994: Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings |
| Publisher | Springer-Verlag |
| Year | 1994 |
| Languages | eng |
| Isbn | 038758241, 354058241 |
| Series | Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
| Volume | 827 |
| Issn | 0302-9743 |
| Description | X X xi, 545 p. ill. 24 cm |
| Record date | 20061009 |
| Location | New York |
| Keywords | Computer programming, Logic, Symbolic and mathematical |
| Notes | Hans Jurgen Ohlbach |