Login / Signup

Managing Informal Mathematical Knowledge: Techniques from Informal Logic.

Andrew Aberdein
Published in: MKM (2006)
Keyphrases
  • mathematical knowledge
  • classical logic
  • machine learning
  • probabilistic model
  • logic programming