Granularity analysis for tutoring mathematical proofs /

PSZJBL

Detalhes bibliográficos
Autor principal:	Schiller, Marvin R. G. 525500
Formato:
Idioma:	eng
Publicado em:	Amsterdam : IOS Press, 2011
Assuntos:	Proof theory Logic, Symbolic and mathematical

Registros relacionados