Nelson, Edward

Nelson, Edward
All Links

Share this:

Details of Nelson, Edward

About Nelson, Edward
Nelson, Edward- Princeton University - Bounded arithmetic, automated proof verification (QED).
Education