Linux Command Line seminar0 码力 | 16 页 | 70.58 KB | 1 年前3- 01 Structure of Scientific Papers - Introduction to Scientific Writing WS2021/22filter) Make the paper useful for others (ideas, evidence, code) Example (my own theses/books) Seminar (~bachelor), 5 months, 446 pages Diploma (~master), 9 months, 274 pages PhD thesis, 4 years,0 码力 | 36 页 | 1.12 MB | 1 年前3
Agda User Manual v2.6.0.1edu.au/~cs3141/] , undergrad(?) course at the University of New South Wales by Manuel Chakravarty. Seminar on Dependently Typed Programming [http://www.cs.uu.nl/wiki/DTP] , course at Utrecht University by0 码力 | 256 页 | 247.15 KB | 1 年前3- Agda User Manual v2.6.0edu.au/~cs3141/] , undergrad(?) course at the University of New South Wales by Manuel Chakravarty. Seminar on Dependently Typed Programming [http://www.cs.uu.nl/wiki/DTP] , course at Utrecht University by0 码力 | 256 页 | 246.87 KB | 1 年前3
- Agda User Manual v2.6.0Implementation , undergrad(?) course at the University of New South Wales by Manuel Chakravarty. • Seminar on Dependently Typed Programming , course at Utrecht University by Andres Löh. • Tüübiteooria /0 码力 | 191 页 | 857.07 KB | 1 年前3
- Agda User Manual v2.6.0.1Implementation , undergrad(?) course at the University of New South Wales by Manuel Chakravarty. • Seminar on Dependently Typed Programming , course at Utrecht University by Andres Löh. • Tüübiteooria /0 码力 | 191 页 | 857.57 KB | 1 年前3
共 6 条
- 1