Result 1 to 3 of 463 total
Undergraduate computational science and engineering education. (English)
SIAM Rev. 53, No. 3, 561-574 (2011).
1
The MIZAR computer system as a tool for a computer assisted teaching in higher education. (System komputerowy MIZAR narzędziem do komputerowego wspomagania nauczania w szkole wyższej.) (Polish)
Ann. Univ. Paedagog. Crac. 82, Stud. Didact. Math. Pertin. 3, 21-40 (2010).
2
Difference lists in Prolog. (English)
Teach. Math. Comput. Sci. 8, No. 1, 73-87 (2010).
3
Result 1 to 3 of 463 total
Start
Contact
Print
General Help
