Unnatural language processing. An empirical study of multimodal proof styles

DOI10.1023/A:1008388812468zbMath0941.03009OpenAlexW1515070096MaRDI QIDQ1306170

V. Pereyra

Publication date: 31 July 2000

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008388812468

zbMATH Keywords

diagrammatic reasoningstatistical methodslogic teachingautomatic logging of proof developmentcognitive stylescomputer-based logic proofsstructure of logical discourse

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Methodology of mathematics (00A35) Problem books, competitions, examinations (aspects of mathematics education) (97U40) Cognitive processes, learning theories (aspects of mathematics education) (97C30)

This page was built for publication: Unnatural language processing. An empirical study of multimodal proof styles