1.
図書 |
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
|
|||||||||||||||||||||||||||||||||||||||||||
2.
図書 |
sponsored by IEEE Computer Society Technical Committee for Mathematical Foundations of Computing ; in cooperation with ACM-SIGACT, EATCS
目次情報:
続きを見る
|
|||||||||||||||||||||||||||||||||||||||||||
3.
図書 |
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
|
|||||||||||||||||||||||||||||||||||||||||||
4.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM-SIGACT, EATCS
|
|||||||||||||||||||||||||||||||||||||||||||
5.
図書 |
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM-SIGACT and EATCS ; with support from Ulmer Univeritäts-Gesellschaft ... [et al.]
|
|||||||||||||||||||||||||||||||||||||||||||
6.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM-SIGACT, EATCS
|
|||||||||||||||||||||||||||||||||||||||||||
7.
図書 |
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
|
|||||||||||||||||||||||||||||||||||||||||||
8.
図書 |
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
|
|||||||||||||||||||||||||||||||||||||||||||
9.
図書 |
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
|
|||||||||||||||||||||||||||||||||||||||||||
10.
雑誌 |
Symposium on Logic in Computer Science
|
文献の複写および貸借の依頼を行う
文献複写・貸借依頼
文献複写・貸借依頼