Nanda Kambhatla
ACL 2004
Paper
A century of controversy over the foundations of mathematics
Abstract
No abstract available.
Related
Ohad Shamir, Sivan Sabato, et al.
Theoretical Computer Science
S.M. Sadjadi, S. Chen, et al.
TAPIA 2009
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008