Media type: E-Book Title: CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings Contributor: Börger, Egon [Author]; Kleine Büning, Hans [Other]; Richter, Michael M. [Other] Published: Berlin, Heidelberg: Springer Berlin Heidelberg, 1988 Published in: Lecture notes in computer science ; 329 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/3-540-50241-6 ISBN: 9783540459606 Identifier: RVK notation: SS 1800 : Sammelstelle bei nicht spezifizierter Aufstellung SS 4800 : Lecture notes in computer science ST 130 : Allgemeines Keywords: Computer science ; Logic design ; Computer Science Origination: Footnote: