Proceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere (source)

—
—
—
—
Add criteria Advanced search filter
Clear
types of item

  • book article
    Two set-based implementations of quotients in type theoryVeltri, NiccoloProceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere2014 / p. 149-152
    book article
Number of records 26, displaying 26 - 26