WorldCat Identities

IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Overview
Works: 359 works in 797 publications in 1 language and 10,539 library holdings
Genres: Conference proceedings  Periodicals 
Roles: Editor, Funder
Classifications: QA267, 004
Publication Timeline
Key
Publications about IEEE Computer Society Publications about IEEE Computer Society
Publications by IEEE Computer Society Publications by IEEE Computer Society
Most widely held works by IEEE Computer Society
Proceedings by Conference on Artificial Intelligence Applications ( )
in English and held by 543 WorldCat member libraries worldwide
Annual Symposium on Foundations of Computer Science [papers] by Symposium on Foundations of Computer Science ( )
in English and held by 361 WorldCat member libraries worldwide
Conference record of the ... annual ACM Symposium on Theory of Computing by ACM Symposium on Theory of Computing ( )
in English and No Linguistic content and held by 195 WorldCat member libraries worldwide
Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California by Symposium on Logic in Computer Science ( Book )
6 editions published between 1995 and 2002 in English and held by 176 WorldCat member libraries worldwide
Proceedings by Symposium on Foundations of Computer Science ( )
in English and held by 174 WorldCat member libraries worldwide
Proceedings, structure in complexity theory : fourth annual conference by Structure in Complexity Theory Conference ( Book )
5 editions published in 1989 in English and held by 171 WorldCat member libraries worldwide
Proceedings of the Eighth Annual Structure in Complexity Theory Conference by Institute of Electrical and Electronics Engineers ( )
9 editions published in 1993 in English and held by 160 WorldCat member libraries worldwide
35th Annual Symposium on Foundations of Computer Science : proceedings ; November 20-22, 1994, Santa Fe, New Mexico by Symposium on Foundations of Computer Science ( )
9 editions published in 1994 in English and held by 154 WorldCat member libraries worldwide
Conference proceedings of the ... annual ACM Symposium on Theory of Computing by ACM Symposium on Theory of Computing ( )
in English and held by 153 WorldCat member libraries worldwide
Proceedings, Eleventh Annual IEEE Conference on Computational Complexity : May 24-27, 1996, Philadelphia, Pennsylvania by Structure in Complexity Theory Conference ( )
3 editions published in 1996 in English and held by 149 WorldCat member libraries worldwide
Proceedings, Thirteenth Annual IEEE Conference on Computational Complexity : (formerly, Structure in Complexity Theory Conference) : June 15-18, 1998, Buffalo, New York, USA by IEEE Conference on Computational Complexity ( )
7 editions published in 1998 in English and held by 146 WorldCat member libraries worldwide
Proceedings 31st Annual Symposium on Foundations of Computer Science : October 22-24, 1990, St. Louis, Missouri by Symposium on Foundations of Computer Science ( )
6 editions published in 1990 in English and held by 138 WorldCat member libraries worldwide
Computational complexity proceedings : Fifteenth Annual IEEE Conference on Computational Complexity : July 4-7, 2000, Florence, Italy by IEEE Conference on Computational Complexity ( )
4 editions published in 2000 in English and held by 134 WorldCat member libraries worldwide
30th Annual Symposium on Foundations of Computer Science October 30-November 1, 1989 by Symposium on Foundations of Computer Science ( )
3 editions published in 1989 in English and held by 133 WorldCat member libraries worldwide
25th Annual Symposium on Foundations of Computer Science October 24-26, 1984 by Symposium on Foundations of Computer Science ( )
7 editions published in 1984 in English and held by 133 WorldCat member libraries worldwide
28th annual Symposium on Foundations of Computer Science October 12-14, 1987 by Symposium on Foundations of Computer Science ( )
8 editions published between 1987 and 1988 in English and held by 132 WorldCat member libraries worldwide
27th Annual symposium on foundations of computer science October 27-29, 1986 by 1986, Toronto) Symposium on Foundations of Computer Science (27 ( )
6 editions published in 1986 in English and held by 130 WorldCat member libraries worldwide
26th Annual Symposium on Foundations of Computer Science October 21-23, 1985 by 1985, Portland, Or.) Symposium on Foundations of Computer Science (26 ( )
7 editions published in 1985 in English and held by 127 WorldCat member libraries worldwide
Proceedings of the Seventh Annual Structure in Complexity Theory Conference : June 22-25, 1992, Boston University, Boston, Massachusetts by IEEE Structure in Complexity Theory Conference ( Book )
8 editions published between 1992 and 2002 in English and held by 125 WorldCat member libraries worldwide
Proceedings, Tenth Annual Structure in Complexity Theory Conference : June 19-22, 1995, Minneapolis, Minnesota by 1995, Minneapolis, Minn.> Structure in Complexity Theory Conference. <10 ( Book )
10 editions published between 1995 and 2002 in English and held by 123 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.85 (from 0.79 for 27th Annua ... to 0.92 for Proceeding ...)
Alternative Names
Computer Society Technical Committee on Mathematical Foundations of Computer Science
IEEE Computer Society. Technical Committee for Mathematical Foundations of Computing
IEEE Technical Committee on Mathematical Foundations of Computing.
Institute of Electrical and Electronics Engineers Computer Society. Technical Committee on Mathematical Foundations of Computing.
Technical Committee on Mathematical Foundations of Computing.
Languages
English (141)
Covers