IEEE Symposium on logic in computer science. (5 1990 Philadelphia) Logic in computer science. LICS 1990. Proceedings - New York IEEE 1990 - xvi, 509p incl bibl. ISBN: 0818690739 Dewey Class. No.: 005 / N901 "SER"