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