Qing Li, Zhigang Deng, et al.
IEEE T-MI
Paper
How to run algorithmic information theory on a computer: Studying the limits of mathematical reasoning
Abstract
No abstract available.
Related
Raymond F. Boyce, Donald D. Chamberlin, et al.
CACM
Ruixiong Tian, Zhe Xiang, et al.
Qinghua Daxue Xuebao/Journal of Tsinghua University
Daniel M. Bikel, Vittorio Castelli
ACL 2008