A negative result on algebraic specifications of the meadow of rational numbers.

Jan A. Bergstra Inge Bethke

Published in: CoRR (2015)

Keyphrases

positive and negative
artificial intelligence
high level
bayesian networks
data sets
decision making
decision trees
case study
face recognition
evolutionary algorithm
probabilistic model
programming language
finite state machines