sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, Association for Symbolic Logic, Europe Association for Theoretical Computer Science
IEEE Computer Society Press
c1992
: paper , : case , : microfiche
所蔵館18館