Livingston2005
Revision as of 10:40, 3 November 2019 by AndreiKorbut (talk | contribs)
| 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 | |
Abstract
Notes
