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
Matthias Baaz, Johann A. Makowsky (eds.)
Bok Engelsk 2003 Workshop on Computer Science Logic
| Utgitt | Berlin : Springer , c2003
|
|---|---|
| Omfang | XII, 590 s. : ill.
|
| Emner | |
| ISBN | 3540408010
|
