CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings (Lecture Notes in Computer Science (329), Band 329)

Karlsruhe

von: Hans Kleine B??ning · Egon B??rger · Michael M. Richter

Taschenbuch

Details (Deutschland)

ISBN-13: 978-3-540-50241-8

ISBN-10: 3-540-50241-6

Springer · 2008