sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with the ACM Special Interest Group for Automata and Computability Theory and the Department of Electrical Engineering and Computer Sciences, the University of California, Berkeley

IEEE Computer Society c1975

所蔵館11館