Login / Signup
Extended Static Checking by Calculation Using the Pointfree Transform.
José Nuno Oliveira
Published in:
LerNet ALFA Summer School (2008)
Keyphrases
</>
machine learning
neural network
social networks
reinforcement learning
consistency checking