N. Shankar
2 published titles
Metamathematics, machines, and Gödel's proof
1 edition
- ISBN: 052142027X
- Cambridge University Press
- 1994
- Details
Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
(Contributor)
1 edition
- ISBN: 9783540371878
- Springer
- 2006
- Details
