The appearence of algorithms in curricula, a new opportunity to deal with proof?

Modeste S.; Ouvrier-Buffet C.

Más información

Título de la Revista: 15th International Conference on Electronics, Communications and Computers, Proceedings
Editorial: IEEE COMPUTER SOC
Fecha de publicación: 2011