Natarajan Shankar
Identifiers
- Open LibraryOL4866380A
Top Subjects
- Artificial intelligence (1)
- Automatic theorem proving (1)
Books by Natarajan Shankar
Total count: 3
-
Automated ReasoningThird International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, ProceedingsSpringer London, Limited2006-01-01
-
Verified Software : Theories, Tools, ExperimentsSecond International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, ProceedingsSpringer London, Limited2008-01-01
-
Automated Formal MethodsAssociation for Computing Machinery2017-01-01