Unnatural language processing. An empirical study of multimodal proof styles

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

• scientific article; zbMATH DE number 972602
• scientific article; zbMATH DE number 1421191
• scientific article; zbMATH DE number 6787681
• scientific article; zbMATH DE number 1140678
• scientific article; zbMATH DE number 1104364
• Multimodal linguistic inference
• Multimodal Linguistic Inference
• scientific article; zbMATH DE number 1251242

Cited in

(1)

• scientific article; zbMATH DE number 972602 (Why is no real title available?)

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)