Proceedings / CSL '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2 - 6, 1989
Berlin [u.a.]: Springer, 1990
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- VI, 437 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Proceedings / CSL '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2 - 6, 1989
|
---|---|
Verantwortlichkeitsangabe: | E. Börger ... (ed.) |
Autor/in / Beteiligte Person: | Börger, Egon |
Körperschaft: | CSL, 3, 1989, Kaiserslautern ; CSL |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 1990 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | VI, 437 S. : graph. Darst. |
ISBN: | 3540527532 (Berlin ...); 0387527532 (New York ...) |
Schlagwort: |
|
Sonstiges: |
|