The hyperuniverse program.

Tatiana Arrigoni Sy-David Friedman

Published in: Bull. Symb. Log. (2013)

Keyphrases

neural network
database
data sets
databases
digital libraries
lower bound
static analysis
programming environment
automatic programming
program execution