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

Autor:	Kaliszyk, C, Wiedijk, F., Hendriks, M.R., van Raamsdonk, F., Geuvers, H., Courtieu, P.
Přispěvatelé:	Istenes, Z., Geuvers, H., Courtieu, P., Theoretical Computer Science
Rok vydání:	2008
Předmět:	Informatics for Technical Applications ComputingMethodologies_DOCUMENTANDTEXTPROCESSING Foundations
Zdroj:	Istenes, Z. (ed.), FORMED2008: Formal Methods in Computer Science Eduction, Budapest, Hungary, March, 2008, Proceedings. Satellite workshop of ETAPS 2008, pp. 111-120 Geuvers, H.; Courtieu, P. (ed.), PATE'07, International Workshop on Proof Assistants and Types in Education, 37-50. Paris, France : CNAM STARTPAGE=37;ENDPAGE=50;TITLE=Geuvers, H.; Courtieu, P. (ed.), PATE'07, International Workshop on Proof Assistants and Types in Education Geuvers, H.; Courtieu, P. (ed.), PATE'07, International Workshop on Proof Assistants and Types in Education, pp. 37-50 Acta Didactica Napocensia, 3, 2, pp. 35-48 Acta Didactica Napocensia, 3, 35-48 Proceedings of PATE 2007 (International Workshop on Proof Assistants and Types in Education)
ISSN:	2065-1430
Popis:	Contains fulltext : 249690.pdf (Publisher’s version ) (Open Access) FORMED2008, 29 maart 2008
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1e6eb37255c3e874474891e08abc91ce https://repository.ubn.ru.nl/handle/2066/249690 Zobrazit plný text záznamu