Computer Science Logic 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings
Berlin, Heidelberg; Berlin, Heidelberg: Springer Berlin Heidelberg; Springer-Verlag Berlin Heidelberg, 2003
Online
Elektronische Ressource
Zugriff:
Titel: |
Computer Science Logic 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings
|
---|---|
Autor/in / Beteiligte Person: | Baaz, Matthias, Sonstige ; Makowsky, Johann A, Sonstige |
Link: | |
Reihe: | Lecture Notes in Computer Science 2803 |
Veröffentlichung: | Berlin, Heidelberg; Berlin, Heidelberg: Springer Berlin Heidelberg; Springer-Verlag Berlin Heidelberg, 2003 |
Medientyp: | Elektronische Ressource |
ISBN: | 978-3-540-45220-1 (print) |
ISSN: | 0302-9743 (print) |
Schlagwort: |
|
Sonstiges: |
|