31st Annual symposium on foundations of computer science
Subtitle: proceedings, October 22-24, 1990, St. Louis,Missouri
By: sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing. Vol.2.
Published: 1990
Language: eng