Menu Expand
Login
Search Titles
Search
Catalogue (Books)
Publishers
R.P. Nederpelt
Home
Authors & Editors
R.P. Nederpelt
Results
(1–1 out of 1)
Sort by:
Title, ascending
Title, descending
Publication date, ascending
Publication date, descending
Newest added, ascending
Newest added, descending
Book
Selected Papers on Automath
R.P. Nederpelt
J.H. Geuvers
R.C. de Vrijer
(1994)
Info
1
We use cookies to ensure that you get the best experience on our website.
Learn more about how we use cookies.
Accept all cookies
Reject non-essential cookies
