Proving infinitary formulas.

Amelia Harrison Vladimir Lifschitz Julian Michael

Published in: Theory Pract. Log. Program. (2016)

Keyphrases

mathematical formulas
artificial intelligence
multi agent
genetic algorithm
computer vision
decision trees