Você está aqui: Página Inicial Padrão OBAA Artigos Publicados A Student Model for Teaching Natural Deduction based on a Prover that Mimics Student Reasoning

A Student Model for Teaching Natural Deduction based on a Prover that Mimics Student Reasoning

Gluz, J. C. ; PENTEADO, F. ; MOSSMANN, M. ; GOMES, L. ; Vicari R. M. . A Student Model for Teaching Natural Deduction based on a Prover that Mimics Student Reasoning. In: International Conference on Intelligent Tutoring Systems (ICITS), 2014, Hawaii. 12th international conference on intelligent tutoring systems, 2014.

chp%3A10.1007%2F978-3-319-07221-0_60.pdf — PDF document, 1009 kB (1033536 bytes)

Navegação
« Abril 2018 »
Abril
DoSeTeQuQuSeSa
1234567
891011121314
15161718192021
22232425262728
2930