Login / Signup

Result Verification for Computational Problems in Geodesy.

Stefan BorovacGerhard Heindl
Published in: Numerical Software with Result Verification (2003)
Keyphrases
  • computational problems
  • constraint satisfaction problems
  • reasoning tasks
  • model checking
  • artificial intelligence