sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

IEEE Computer Society Press c1996

: paper , : microfiche , : case

所蔵館5館

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, EATCS ; with support from DIMACS, University of Minnesota, Cornell University

IEEE Computer Society Press c1995

: paper , : microfiche , : case

所蔵館15館

edited by Shafi Goldwasser ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

IEEE Computer Society Press c1994

: paper , : microfiche , : case

所蔵館36館

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, INRIA

IEEE Computer Society Press c1994

: paper , : microfiche , : case

所蔵館19館

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery-SIGACT ... [et al.]

IEEE Computer Society Press c1993

: paper , : case , : microfiche

所蔵館23館

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

IEEE Computer Society Press c1992

: hd , : pbk , : microfiche

所蔵館30館

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館

sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, CWI, Amsterdam, Vrije Universiteit, Amsterdam ; in cooperation with Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science

IEEE Computer Society Press c1991

: paper , : case , : microfiche

所蔵館14館

sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing

IEEE Computer Society Press c1990

v. 1 : pbk , v. 1 : case , v. 1 : microfiche , v. 2 : pbk , v. 2 : case , v. 2 : microfiche

所蔵館28館

sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery-SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science

IEEE Computer Society Press c1990

: paper , : case , : microfiche

所蔵館11館