Login / Signup
The Bang Calculus Revisited.
Antonio Bucciarelli
Delia Kesner
Alejandro Ríos
Andrés Viso
Published in:
CoRR (2020)
Keyphrases
</>
computer algebra
automated deduction
formal language
databases
real world
artificial intelligence
data sets
machine learning
face recognition
evolutionary algorithm
hidden markov models