Login / Signup
How to Construct an Atomic Variable (Extended Abstract).
John Tromp
Published in:
WDAG (1989)
Keyphrases
</>
extended abstract
case study
database
databases
machine learning
genetic algorithm
clustering algorithm
training data
multiscale
pattern recognition