| 1.
図書 |
図書
|
sponsored by the Computer Society of the IEEE Technical Committee on Mathematical Foundations of Computing
|
||||||
| 2.
図書 |
図書
|
editors, Peter M. Stocker and William Kent ; proceedings editor, Peter Hammersley
|
||||||
| 3.
図書 |
図書
|
sponsored by the ACM Special Interest Group for Automata and Computability Theory
|
||||||
| 4.
図書 |
図書
|
[sponsored by American Federation of Information Processing Societies] ... [et al.]
|
||||||
| 5.
図書 |
図書
|
大川善邦著
|
||||||
| 6.
図書 |
図書
|
武田, 義章(1934-)
|
||||||
| 7.
図書 |
図書
|
竹田晴見著
|
||||||
| 8.
図書 |
図書
|
雨宮好文監修 ; 妹尾允史著
|
