Login / Signup
John R. Cowles
Publication Activity (10 Years)
Years Active: 1981-2020
Publications (10 Years): 6
Top Topics
Relation Algebra
Formal Verification
Multi Layer Neural Network
Natural Language Learning
Top Venues
ACL2
ASAP
ITP
NORCAS
</>
Publications
</>