Computer Science Logic
Subtitle: 7th Workshop, Csl '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers (Lecture Notes in Computer Science)
Contributors: Karl Meinke (Editor)
Publisher: Springer
Published: July 1994
Language: eng
Number of pages: 336
ISBN-13: 9780387582771