Proceedings 31st annual symposium on foundations of computer science 22-24 October, 1990
/ IEEE computer society's technical committee on mathematical foundations of computing
- California: IEEE computer Society Press, 1990
- xiv, 451p.
Computer science
Mathematical
D 681.3(082.2) / N0.1