1.
図書 |
edited by Dexter Kozen ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Special Interest Group on Automata and Computability Theory of the ACM Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from AT & T Bell Laboratories IBM Almaden Research Center Rice University, University of California, San Diego
|
|||||
2.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery-SIGACT ... [et al.]
|
文献の複写および貸借の依頼を行う
文献複写・貸借依頼
文献複写・貸借依頼