DE eng

Search in the Catalogues and Directories

Hits 1 – 5 of 5

1
Accentuation, Uncertainty and Exhaustivity - Towards a Model of Pragmatic Focus Interpretation
Wollermann, Charlotte [Verfasser]; Schade, Ulrich [Verfasser]; Fisseni, Bernhard [Verfasser]. - Mannheim : Institut für Deutsche Sprache, Bibliothek, 2018
DNB Subject Category Language
Show details
2
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
Cramer, Marcos [Verfasser]; Fisseni, Bernhard [Verfasser]; Koepke, Peter [Verfasser]. - Mannheim : Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek, 2018
DNB Subject Category Language
Show details
3
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
Veldman, Jip [Verfasser]; Fisseni, Bernhard [Verfasser]; Schröder, Bernhard [Verfasser]. - Mannheim : Institut für Deutsche Sprache, Bibliothek, 2018
DNB Subject Category Language
Show details
4
Von Inseln und Kernen: Gebrauchsbasierte Standard-Begriffe
Fisseni, Bernhard [Verfasser]; Schröder, Bernhard [Verfasser]; Hagemann, Jörg [Herausgeber]. - Mannheim : Institut für Deutsche Sprache, Bibliothek, 2018
DNB Subject Category Language
Show details
5
FnhdC
Fisseni, Bernhard [Verfasser]; Schmitz, Hans-Christian [Verfasser]; Schröder, Bernhard [Verfasser]. - Mannheim : Institut für Deutsche Sprache, Bibliothek, 2018
DNB Subject Category Language
Show details

Catalogues
0
0
0
0
5
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
0
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern