Unnatural language processing. An empirical study of multimodal proof styles

DOI10.1023/A:1008388812468zbMATH Open0941.03009OpenAlexW1515070096MaRDI QIDQ1306170FDOQ1306170

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

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

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)

Cited In (1)

• Title not available (Why is that?)

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)