David S. Kung
DAC 1998
Paper
How to run algorithmic information theory on a computer: Studying the limits of mathematical reasoning
Abstract
No abstract available.
Related
A. Gupta, R. Gross, et al.
SPIE Advances in Semiconductors and Superconductors 1990
William Hinsberg, Joy Cheng, et al.
SPIE Advanced Lithography 2010
Gal Badishi, Idit Keidar, et al.
IEEE TDSC