Cholak, Peter, (1962-)
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Computability theory and its applications : = current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM, joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder/
by:
Cholak, Peter, (1962-); Lempp, Steffen; Lerman, Manuel; Shore, Richard A.
(書目-語言資料,印刷品)