|
DSpace at RU >
University Library >
Cream of Science >
Files in This Item:
| File |
Description |
Size | Format |
| publisher's version | 731.12 kB | Adobe PDF | View/Open |
|
| Title: | Semantics for classical AUTOMATH and related systems |
| Author(s): | Barendregt, H.P. (071630848) Rezus, A. |
| Publication year: | 1983 |
| Document type: | Article / Letter to editor |
| Journal: | Information and Control |
| ISSN: | 0019-9958 |
| Volume: | vol. 59 |
| Issue: | iss. 1-3 |
| Start page: | p. 127 |
| End page: | p. 147 |
| Appears in Collections: | Electronic documents Radboud University Cream of Science
|
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/17253
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|