Symposium on Logic in Computer Science
Subtitle: 1988 Proceedings
Publisher: Ieee Computer Society
Published: July 1988
Format: Textbook Binding
ISBN-13: 9780818688539
Subjects: Computer Logic; Science/Mathematics