著者典拠情報

著者標目形：
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
属性：
Corporate
から見よ参照形：
Computer Society Technical Committee on Mathematical Foundations of Computer Science
注記：
Symposium on Switching and Automata Theory, 15th, University of New Orleans, 1974. 15th Annual Symposium ... 1974
Proceedings, structure in complexity theory, c1988: t.p. (Computer Socity Technical Committee on Mathematical Foundations of Computer Science) frwd. (IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing)
著者典拠ID：
DA01037742


1.

図書
図書
1. Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques, University of Ottawa
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003
所蔵情報: 図書館
2.

図書
図書
2. Proceedings : the 43rd annual IEEE symposium on foundations of computer science : Vancouver, BC, Canada 16-19 November 2002
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing(TCMF)
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2002
所蔵情報: 図書館
3.

図書
図書
3. Proceedings, 17th Annual IEEE Symposium on Logic in Computer Science, 22-25 July 2002 Copenhagen, Denmark, held in conjunction with the Third Federated Logic Conference
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association of Symbolic Lofic European Association for Theoretical Computer Science ; with support from US Office of Naval Research International Field Office, European Office of Aerospace Research and Development of the US Air Force Office of Scientific Research
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002
所蔵情報: 図書館
4.

図書
図書
4. Proceedings, 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001・Boston, Massachusetts
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2001
所蔵情報: 図書館
5.

図書
図書
5. 41st Annual Symposium on Foundations of Computer Science, 12-14 November 2000, Redondo Beach, California : proceedings (: case ; : pbk ; : microfiche)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c2000
所蔵情報: 図書館
6.

図書
図書
6. 40th Annual Symposium on Foundations of Computer Science, October 17-19, 1999, New York City, New York (: pbk. ; : microfiche)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1999
所蔵情報: 図書館
7.

図書
図書
7. Proceedings, 14th Symposium on Logic in Computer Science, July 2-5, 1999, Trento, Italy (: case ; : soft)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1999
所蔵情報: 図書館
8.

図書
図書
8. Proceedings : 39th Annual Symposium on Foundations of Computer Science, November 8-11, 1998, Palo Alto, California (: paper ; : case)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1998
所蔵情報: 図書館
9.

図書
図書
9. Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29-July 2, 1997, Warsaw, Poland (: paper ; : case ; : microfiche)
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]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1997
所蔵情報: 図書館
10.

図書
図書
10. Proceedings, Eleventh Annual IEEE Conference on Computational Complexity (formerly: Structure in Complexity Theory Conference), May 24-27, 1996, Philadelphia, Pennsylvania (: soft. ; : case.)
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, EATCS ; with support from State University of New York at Buffalo ; edited by Steve Homer and Jin-Yi Cai
出版情報: Los Alamitos : IEEE Computer Society Press, c1996
所蔵情報: 図書館