Beomseok Nam, Henrique Andrade, et al.
ACM/IEEE SC 2006
Paper
A century of controversy over the foundations of mathematics
Abstract
No abstract available.
Related
Conference paper
Strong and flexible domain typing for dynamic E-business
Yigal Hoffner, Simon Field, et al.
EDOC 2004
Conference paper
An Arabic Slot Grammar parser
Michael C. McCord, Violetta Cavalli-Sforza
ACL 2007
Reena Elangovan, Shubham Jain, et al.
ACM TODAES