Computer Science Logic: 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: M. M. Richter (Editor)
Publisher: Springer
Published: October 1992
Language: eng
Format: Paperback
Number of pages: 428
ISBN-13: 9780387557892
Subjects: Computer Logic; Computers; Computers - General Information; Computer Books: General; Machine Theory; Logic Design; Computer Science; Congresses; Logic, Symbolic and mathematic; Logic, Symbolic and mathematical