Csl '88: 2nd Workshop on Computer Science Logic Duisburg, Frg, October 3-7, 1988 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: M. M. Richter (Editor)
Publisher: Springer
Published: November 1989
Language: eng
Number of pages: 399
ISBN-13: 9780387516592