Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings. (Lecture Notes in Computer Science)
Contributors: M. M. Richter (Editor)
Publisher: Springer
Published: July 1990
Language: eng
Number of pages: 437
ISBN-13: 9780387527536