Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings (Lecture Notes in Computer Science (1683), Band 1683)

Proceedings

von: Mario Rodriguez-Artalejo · J??rg Flum

Taschenbuch

ISBN-13: 978-3-540-66536-6

ISBN-10: 3-540-66536-6

Springer · 2008
Siehe auch:
2014PaperbackComputer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings