Media type: E-Book; Conference Proceedings Title: Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings Contributor: Börger, Egon [Author]; Kleine Büning, Hans [Other]; Richter, Michael M. [Other]; Schönfeld, Wolfgang [Other] imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 1991 Published in: Lecture notes in computer science ; 533 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/3-540-54487-9 ISBN: 9783540384014 Identifier: RVK notation: SS 4800 : Lecture notes in computer science Keywords: Informatik > Logik Origination: Footnote: