Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992
Publisher: IEEE Computer Society Press
Published: 1992
Language: eng
Format: Unknown Binding
Number of pages: 471
ISBN-13: 9780818627361