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: | European Association for Computer Science Logic. Conference, Kurt Gödel Colloquium |
---|---|
Other Authors: | Baaz, Matthias., Makowsky, Johann A., 1948- |
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!
|
Similar Items
-
Algorithms and data structures : 8th international workshop, WADS 2003, Ottawa, Ontario, Canada, July 30-August 1, 2003 : proceedings
Published: (2003) -
CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings
Published: (2003) -
Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Published: (2003) -
Logic for mathematicians /
by: Hamilton, A G 1943-
Published: (1988) -
ECOOP 2003 - Object-oriented programmings : 17th European conference, Darmstadt, Germany, july 2003 Proceedings /
Published: (2003)