-calculus: Separating the combinatorics from the dynamics.

Sebastian Enqvist Fatemeh Seifan Yde Venema

Published in: Theor. Comput. Sci. (2018)

Keyphrases

temporal evolution
database
neural network
similarity measure
dynamical systems
automated theorem proving
data sets
data mining
genetic algorithm
artificial intelligence
decision trees
automated deduction