Programs in ProofPowerZ.

Frank Zeyda Ana Cavalcanti

Published in: UTP (2008)

Keyphrases

data sets
computer programs
databases
evolutionary algorithm
knowledge base
database systems
control flow
intermediate level
automatic programming
prolog programs