• Refine your search:
  • 
    Keyword:
    
    • Mathematik (3)
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 4 of 4 1 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 2 SDV. Sprache und Datenverarbeitung : International Journal for Language Data Processing. Heft 1-2 Cramer, Marcos [Herausgeber]; Schröder, Bernhard [Herausgeber]. - Duisburg : Universitätsverlag Rhein-Ruhr, 2016 DNB Subject Category Language Show details 3 Proof-checking mathematical texts in controlled natural language Cramer, Marcos [Verfasser]. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013 DNB Subject Category Language Show details 4 The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts [Online resource] Cramer, Marcos; Fisseni, Bernhard; Koepke, Peter. IDS-Repository Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 3 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 0 Linguistik-Repository 0 IDS Publikationsserver 1 Online dissertations 0 Language Description Heritage 0