Article
Repères Irem  (2010)

Algorithmique et apprentissage de la preuve

Modeste S.; Gravier, S.; Ouvrier-Buffet C.

Más información

Título de la Revista: Repères Irem
Volumen: 79
Editorial: Unknown
Fecha de publicación: 2010
Página de inicio: 51
Página final: 72