1.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from AT & T Research Bell Laboratories - Lucent Technologies DIMACS, IBM Almaden Research Center
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
2.
雑誌 |
Symposium on Logic in Computer Science
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
3.
図書 |
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
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
4.
図書 |
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
5.
図書 |
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]
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
6.
図書 |
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
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
7.
図書 |
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
目次情報:
続きを見る
|
文献の複写および貸借の依頼を行う
文献複写・貸借依頼
文献複写・貸借依頼