Login / Signup
YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor Activity.
Franco Barbanera
Mariangiola Dezani-Ciancaglini
Ugo de'Liguoro
Betti Venneri
Published in:
Logics and Type Systems in Theory and Practice (2024)
Keyphrases
</>
data sets
data mining
decision making
bayesian networks
multiscale
artificial neural networks
relational calculus
computer algebra
real time
neural network
learning algorithm
decision trees
activity theory
brain activity
automated deduction