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.

0818690739

005 / N901 "SER"