Understanding Mathematical Discourse (1999)

by Claus Zinn
Venue:DIALOGUE. AMSTERDAM UNIVERSITY
Citations:7 - 6 self

Active Bibliography

Checking Textbook Proofs – Claus Zinn - 1998
1 Towards the Mechanical Verification of Textbook Proofs – Claus Zinn - 2000
On the Relationship Between Structure and Reference in Mathematical Discourse – Claus Zinn
Structuring Textbook Proofs – Claus Zinn - 1999
789 On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games – Phan Minh Dung - 1995
451 Collaborative Plans for Complex Group Action – Barbara J. Grosz, Sarit Kraus - 1996
3 Verifying textbook proofs – Claus Zinn, Lehrstuhl Für Künstliche Intelligenz, Universität Erlangen-nürnberg - 1998
1 Computing Presuppositions and Implicatures in Mathematical Discourse – Claus Zinn - 2000
212 Planning Text for Advisory Dialogues: Capturing Intentional and Rhetorical Information – Johanna D. Moore, Cecile L. Paris - 1993