Autorenfreundlich Bücher kaufen?!
Beschreibung
during the week-long CSL2000 meeting, was reserved for theGurevichSymposium, a special, one-day tribute to the scienti?c contributions of Professor Yuri Gurevich, at the occasion of his 60th birthday.
14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
Details
| Verlag | Springer Berlin |
| Ersterscheinung | August 2000 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 844 Gramm |
| Format | Softcover |
| ISBN-13 | 9783540678953 |
| Auflage | 2000 |
| Seiten | 550 |
Schlagwörter
Artificial Intelligence, Compiler und Übersetzer, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, Computer System Implementation, Formal Languages and Automata Theory, Künstliche Intelligenz, Mathematical Logic and Foundations, Mathematik: Logik, Mathematische Grundlagen, Systemanalyse und -design, Theoretische Informatik
Bekannt durch
