log: Set Formulas as Programs.

Maximiliano Cristiá Gianfranco Rossi

Published in: CoRR (2021)

Keyphrases

small number
artificial intelligence
databases
neural network
data sets
relational databases
user defined