Livingston2005

From emcawiki
Jump to: navigation, search
Livingston2005
BibType ARTICLE
Key Livingston2005
Author(s) Eric Livingston
Title Natural reasoning in mathematical theorem proving
Editor(s)
Tag(s) EMCA, Reasoning, Mathematics
Publisher
Year 2005
Language
City
Month
Journal Communication & Cognition
Volume 38
Number 1-2
Pages 319-344
URL
DOI
ISBN
Organization
Institution
School
Type
Edition
Series
Howpublished
Book title
Chapter

Download BibTex

Abstract


Notes