Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
Subtitle: San Cruz, California June 22-25, 1992 (Symposium on Logic in Computer Science//Proceedings)
Edition: 7 edition
Publisher: Ieee Computer Society
Published: June 1992
Language: eng
Format: Paperback
Number of pages: 492
ISBN-13: 9780818627354
Subjects: Mathematical theory of computation; Programming languages; Computer Logic; Computer science; Congresses; Logic, Symbolic and mathematic; Logic, Symbolic and mathematical; Mathematics; Computer Books: General