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 |
Externí odkaz: |