ATP Cross-Verification of the Mizar MPTP Challenge Problems.

Josef Urban Geoff Sutcliffe

Published in: LPAR (2007)

Keyphrases

real time
multi agent systems
difficult problems
data sets
decision making
solving problems
related problems