Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings

Proceedings

von: Jörg Flum · Mario Rodriguez-Artalejo

Taschenbuch

ISBN-13: 978-3-662-20287-6

ISBN-10: 3-662-20287-5

Springer · 2014

S. auch:
2008TaschenbuchComputer 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, Band 1683)