Old Web
English
Sign In
Acemap
>
Paper
>
Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
2009
Sandip Ray
David M. Russinoff
Keywords:
ACL2
Computer science
Algorithm
Automated theorem proving
Artificial intelligence
Programming language
Natural language processing
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]