Temporal logic : first International Conference , ICTL '94, Bonn, Germany, July 11-14,1994 : proceedings
Αποθηκεύτηκε σε:
| Άλλοι συγγραφείς: | , |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Berlin ; Heidelberg :
Springer,
c1994
|
| Σειρά: | Lecture notes in computer science. Lecture notes in artificial intelligence ;
; 827 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Φυσική περιγραφή: | xi, 545 p.; ill.; 24 cm. |
|---|---|
| Βιβλιογραφία: | Includes bibliographical references and index |
| ISBN: | 354058241X |