Teaching logic using a state-of-the-art proof assistant

Find Full text
Thumbnail
Fulltext:
36544.pdf
Size:
356.6Kb
Format:
PDF
Description:
Author’s version preprint
Download
Publication year
2007
Author(s)
Kaliszyk, C.S.
Wiedijk, F.
Hendriks, M.
Raamsdonk, F. van
Publisher
Paris, France : CNAM
In
Geuvers, H.; Courtieu, P. (ed.), RDP 2007: The 2007 Federated Conference on Rewriting, Deduction and Programming, Paris, France June 25-29, 2007. PATE'07: International Workshop on Proof Assistants and Types in Education, June 25th, 2007. Proceedings, pp. 33-48
Conference location
Paris
Related links
Annotation
RDP 2007; PATE '07
Publication type
Article in monograph or in proceedings
If a DOI or any other persistent identifier is unavailable, please use the following repository identifier to link to this item: https://hdl.handle.net/2066/36544   https://hdl.handle.net/2066/36544
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.