Csl 87
Subtitle: 1st Workshop on Computer Science Logic (Lecture Notes in Computer Science)
Contributors: Kleine H. Buning (Editor)
Publisher: Springer
Published: September 1988
Language: eng
Number of pages: 346
ISBN-13: 9780387502410