Home Advanced Search

Advanced Search - Page 1

Proceedings of The 11th Asian Logic Conference
  • PDF
  • English
  • Year: 2011
  • Author: Toshiyasu Arai, Qi Feng, Byunghan Kim, Guohua Wu, Yue Yang (eds.)
Proceedings of the 13th Asian Logic Conference
  • PDF
  • English
  • Year: 2015
  • Author: Xishun Zhao, Xishun Zhao, Qi Feng, Byunghan Kim, Liang Yu
Ordinal Analysis
  • PDF
  • English
  • Author: Toshiyasu Arai
Ordinal Analysis with an Introduction to Proof Theory
  • PDF
  • English
  • Year: 2020
  • Author: Arai, Toshiyasu
Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics
  • PDF
  • English
  • Year: 2022
  • Author: Liang Yu (editor), Kazuyuki Tanaka (editor), Yue Yang (editor), Ningning Peng (editor), Guohua Wu (editor)
Computational prospects of infinity. Part II: Presented talks
  • PDF
  • English
  • Year: 2008
  • Author: Chitat Chong, Qi Feng, Theodore A. Slaman, W. Hugh Woodin, Yue Yang (ed.)
Computational Prospects of Infinity, Part I: Tutorials: Tutorials Pt. I
  • PDF
  • English
  • Year: 2008
  • Author: Chitat Chong, Chitat Chong, Qi Feng, Theodore A. Slaman, W. Hugh Woodin, Yue Yang
Simplicity theory
  • PDF
  • English
  • Year: 2014
  • Author: Kim, Byunghan
The art of Linux kernel design: illustrating the operating system design principle and implementation
  • PDF
  • English
  • Year: 2014
  • Author: Dazhao, Chen; Ke, Feng; Liu, Tianhou; Qi, Song; Ruobing, Wu; Wenfeng, Liang; Yang, Lixiang
Proceedings of the 5th International Asia Conference on Industrial Engineering and Management Innovation (IEMI2014)
  • PDF
  • English
  • Year: 2015
  • Author: Ershi Qi, Qin Su, Jiang Shen, Feng Wu, Runliang Dou (eds.)
search