Documentation and formal mathematics : web technology meets theorem proving

Autor: Tankink, C.
Přispěvatelé: Geuvers, J.H., McKinna, J.H., Radboud University Nijmegen
Rok vydání: 2013
Předmět:
Zdroj: IPA dissertation series ; 2013-16. [S.l.] : [S.n.]
IPA dissertation series ; 2013-16
Popis: Contains fulltext : 119001.pdf (Publisher’s version ) (Open Access) Radboud Universiteit Nijmegen, 17 december 2013 Promotor : Geuvers, J.H. Co-promotor : McKinna, J.H. 109 p.
Databáze: OpenAIRE