Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994
Subtitle: Selected Papers (Lecture Notes in Mathematics)
Publisher: Springer
Published: January 1995
Language: eng
Number of pages: 541
ISBN-13: 9780387600178