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
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , |
Format: | Book |
Language: | English |
Published: |
Berlin ;
Springer,
2003.
|
Series: | Lecture notes in computer science (Springer). ;
2803 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!