BROWSE
My Topics
All Topics
All Publications
All Authors
All Keywords
Unassigned
Recent
Search
EXPORT
Export all publications
Export author
SORT BY
Author
Title
Type/Journal
Year
Recently added
SITE
Help
About this site
GUEST USER
reader
cosy_reader
Topic Subscribe
LOGIN
Name:
Password:
Deutsch
,
English
,
Nederlands
,
Norsk
,
<more...>
R. W. Weyhrauch
First name(s):
R. W.
Last name(s):
Weyhrauch
Publications of R. W. Weyhrauch
1980
R. W. Weyhrauch
,
Prolegomena to a Theory of Mechanized Formal Reasoning
(1980), in: aij, 13:1-2(133-170)