Unnatural language processing. An empirical study of multimodal proof styles

From MaRDI portal
(Redirected from Publication:1306170)


DOI10.1023/A:1008388812468MaRDI QIDQ1306170zbMATH OpenOpenAlexFDO

Authors 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

statistical methodsdiagrammatic reasoninglogic teachingautomatic logging of proof developmentcognitive stylescomputer-based logic proofsstructure of logical discourse

Mathematics Subject Classification ID

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



Recommendations



Cited in
(1)






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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1306170)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Unnatural_language_processing._An_empirical_study_of_multimodal_proof_styles&oldid=70109247"
Powered by MediaWiki