Panelist position statement: logic and models in computer science

Philos Trans A Math Phys Eng Sci. 2005 Oct 15;363(1835):2397-9. doi: 10.1098/rsta.2005.1654.
No abstract available

MeSH terms

  • Algorithms*
  • Logistic Models*
  • Mathematical Computing*
  • Numerical Analysis, Computer-Assisted*
  • Science / methods*
  • Software Validation
  • Software*