Sign in

ATP Cross-Verification of the Mizar MPTP Challenge Problems.

Josef UrbanGeoff Sutcliffe
Published in: LPAR (2007)
Keyphrases
  • real time
  • multi agent systems
  • difficult problems
  • data sets
  • decision making
  • solving problems
  • related problems