※一部利用できない機能があります
1.
図書 |
sponsored by IEEE Computer Society Technical Society on Foundations of Computing
|
|||||
2.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
|||||
3.
図書 |
sponsored by IEEE Computer Society Technical society on Foundations of Computing
|
|||||
4.
図書 |
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 (CRM), University of Ottawa
|
|||||
5.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association of Symbolic Logic, 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
|
|||||
6.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
|||||
7.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM/SIGACT
|
|||||
8.
図書 |
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; with support from Academy of Finland ... [et al.]
|
|||||
9.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBM
|
|||||
10.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|