CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings (Lecture Notes in Computer Science (440), Band 440)

Proceedings

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

Taschenbuch

ISBN-13: 978-3-540-52753-4

ISBN-10: 3-540-52753-2

Springer · 2008