1
Recursion theory. Computational aspects of definability

Recursion theory. Computational aspects of definability

Chong, Chi-Tat, Yu, Liang
Tahun:
2015
Bahasa:
english
File:
PDF, 1.56 MB
0 / 0
english, 2015
2
Mooring System Engineering for Offshore Structures

Mooring System Engineering for Offshore Structures

Kai-Tung Ma, Yong Luo, Chi-Tat Thomas Kwan, Yongyan Wu
Tahun:
2019
Bahasa:
english
File:
PDF, 32.50 MB
0 / 0
english, 2019
3
Forcing, iterated ultrapowers, and Turing degrees

Forcing, iterated ultrapowers, and Turing degrees

Chong, Chi-Tat et al. (eds.)
Tahun:
2016
Bahasa:
english
File:
PDF, 1.09 MB
0 / 0
english, 2016
4
Forcing, Iterated Ultrapowers, and Turing Degrees

Forcing, Iterated Ultrapowers, and Turing Degrees

Chong, Chi-Tat, Feng, Qi, Slaman, Theodore Allen, Woodin, W. Hugh, Yang, Yue (eds.)
Tahun:
2016
Bahasa:
english
File:
PDF, 1.08 MB
0 / 0
english, 2016
5
Mooring System Engineering for Offshore Structures

Mooring System Engineering for Offshore Structures

Kai-Tung Ma, Yong Luo, Chi-Tat Thomas Kwan, Yongyan Wu
Tahun:
2019
Bahasa:
english
File:
PDF, 32.50 MB
0 / 5.0
english, 2019
6
Techniques of Admissible Recursion Theory

Techniques of Admissible Recursion Theory

Chi-Tat Chong (auth.)
Tahun:
1984
Bahasa:
english
File:
PDF, 3.04 MB
0 / 0
english, 1984