Computing Presuppositions and Implicatures in Mathematical Discourse

by Claus Zinn
Citations:1 - 1 self

Documents Related by Co-Citation

4 Parsing Formulae in Textbook Proofs – Claus Zinn, Lehrstuhl Fur Kunstliche Intelligenz - 1999
3 Verifying Textbook Proofs – Claus Zinn - 1998
1 Basic Properties of Functor Structures – Claus Zinn, Wolfgang Jaksch - 2000
1 Towards the Mechanical Verification of Textbook Proofs – Claus Zinn
1 Introduction to logic. D. van Nostrand company – P Suppes - 1957
1 Three insufficiently attended to aspects of most mathematical proofs: phenomenological studies – R S Tragesser - 1992
1 Representing Discourse in Context, chapter 3, pages 179–237. Handbook of Logic – J van Eijck, H Kamp - 1997
1 von Kutschera. Gottlob Frege. Walter de Gruyter – F - 1989
1 136–179. Inside computer understanding: Five programs plus miniatures, Ed. by – PAM - 1981
1 Computers do produce beautiful mathematics – L Wos - 1991
1 Abschluss mit Erwerb der allgemeinen Hochschulreife (Abitur – Albert Schweitzer Gymnasium, Kassel - 1986
7 Understanding Mathematical Discourse – Claus Zinn, Universität Erlangen-nürnberg - 1999
13 How to Read and Do Proofs – Daniel Solow - 1982
7 A survey of Mathematical Logic – Hao Wang - 1963
14 The mizar logic information language – A Trybulec - 1980
17 The desirability of formalization in science – P Suppes - 1968
8 A Computational Framework For Understanding Mathematical Discourse – C Zinn - 2003
10 Checking natural language proofs – D L Simon - 1988
9 Checking Number Theory Proofs in Natural Language – D L Simon - 1990