Prolegomena to a Theory of Mechanized Formal Reasoning
Type of publication: | Article |
Citation: | weyhrauch:ai-80 |
Journal: | aij |
Volume: | 13 |
Number: | 1-2 |
Year: | 1980 |
Pages: | 133-170 |
Userfields: | bibsource={DBLP, http://dblp.uni-trier.de}, date-added={2012-09-25 10:06:31 +0200}, date-modified={2012-09-25 10:06:31 +0200}, project={fremdliteratur}, |
Keywords: | |
Authors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|