organized by Warsaw University ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with The Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from BRICS, University of Aarhus ... [et. al]

IEEE Computer Society Press c1997

: paper , : case , : microfiche

所蔵館19館

sponsored by the Association for Computing Machinery Special Interest Committee for Automata and Computability ; and co-supported by Systems Development Corporation and the University of Southern California and the University of Waterloo

ACM Order Department [1969?]

所蔵館18館