Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings /
Main Author: | |
---|---|
Corporate Author: | |
Other Authors: | |
Format: | Book |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2003
|
Series: | Lecture notes in computer science,
2803 |
Subjects: |