Login / Signup
RP-Rewriter: An Optimized Rewriter for Large Terms in ACL2.
Mertcan Temel
Published in:
ACL2 (2020)
Keyphrases
</>
real time
co occurrence
data mining
artificial intelligence
information systems
multiscale
learning environment