Natural reasoning in mathematical theorem proving

Livingston, Eric

by Eric Livingston

Reference:

Eric Livingston, (2005), "Natural reasoning in mathematical theorem proving", Communication & Cognition, vol. 38, no. 1-2, pp. 319-344.

Bibtex Entry:

@ARTICLE{Livingston2005,
  author = "Eric Livingston", 
  keywords = "EMCA, Reasoning, Mathematics", 
  journal = "Communication & Cognition", 
  number = "1-2", 
  pages = "319-344", 
  title = "Natural reasoning in mathematical theorem proving", 
  volume = "38", 
  year = "2005", 
}