• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Kohlhase, Michael (17)
    • Gardent, Claire (6)
    • Blackburn, Patrick (5)
    • Bos, Johan (3)
    • Sperber, Wolfram (3)
    • Nivelle, Hans de (2)
    • Ramsay, Allan (2)
    • Amann, Kai (1)
    • Areces, Carlos (1)
    • Bernardi, Raffaella (1)
    •   more
  • 
    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 – 17 of 17 1 Prototyping Controlled Mathematical Languages in Jupyter Notebooks Schaefer, Jan Frederik; Amann, Kai; Kohlhase, Michael In: Mathematical Software – ICMS 2020 (2020) BASE Show details 2 The Semantic Multilingual Glossary of Mathematics (SMGloM) project or why do we need a semantic glossary of mathematics ... Kohlhase, Michael; Sperber, Wolfram. - : Karlsruhe, 2017 BASE Show details 3 The Semantic Multilingual Glossary of Mathematics (SMGloM) project or why do we need a semantic glossary of mathematics ... Kohlhase, Michael; Sperber, Wolfram. - : KIT Scientific Publishing, 2017 BASE Show details 4 The Semantic Multilingual Glossary of Mathematics (SMGloM) project or why do we need a semantic glossary of mathematics Kohlhase, Michael; Sperber, Wolfram In: Archives of Data Science, Series A (Online First), 2 (1), 16 S. online ; ISSN: 2363-9881 (2017) BASE Show details 5 The Mizar Mathematical Library in OMDoc: Translation and Applications Iancu, Mihnea; Kohlhase, Michael; Rabe, Florian... In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 50 (2013) 2, 191-202 OLC Linguistik Show details 6 Inference and Computational Semantics Blackburn, Patrick; Kohlhase, Michael In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 13 (2004) 2, 117-120 OLC Linguistik Show details 7 Computational semantics Kohlhase, Michael (Hrsg.); Blackburn, Patrick (Mitarb.); Areces, Carlos (Mitarb.)... In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 13 (2004) 2, 117-240 BLLDB Show details 8 Computing meaning Bunt, Harry (Hrsg.); Muskens, Reinhard (Hrsg.); Thijsse, Elias (Hrsg.). - Dordrecht : Kluwer Acad. Publ., 2001 BLLDB Show details 9 Inference in Computational Semantics Blackburn, Patrick; Kohlhase, Michael. - : HAL CCSD, 2001 In: https://hal.inria.fr/inria-00100514 ; 139 p, 2001 (2001) BASE Show details 10 Managing Structural Information by Higher-Order Colored Unification Hutter, Dieter; Kohlhase, Michael In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 25 (2000) 2, 123-164 OLC Linguistik Show details 11 Inference and computational semantics Blackburn, Patrick; Bos, Johan; Kohlhase, Michael... In: IWCS <3, 1999, Tilburg>. Proceedings of the third International Workshop on Computational Semantics. - Tilburg : Computational Linguistics, Tilburg Univ. (1999), 5-19 BLLDB Show details 12 Integrating Computer Algebra into Proof Planning Kerber, Manfred; Kohlhase, Michael; Sorge, Volker In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 21 (1998) 3, 327-356 OLC Linguistik Show details 13 Higher-order coloured unification and natural language semantics Gardent, Claire; Kohlhase, Michael. - Saarbrücken : Univ. des Saarlandes, 1996 UB Frankfurt Linguistik Show details 14 Focus and higher-order unification Kohlhase, Michael; Gardent, Claire. - Saarbrücken : Univ. des Saarlandes, 1996 BLLDB UB Frankfurt Linguistik Show details 15 Semantics Gardent, Claire (Mitarb.); Kohlhase, Michael (Mitarb.); Leusen, Noor van (Mitarb.)... In: Natural language processing and speech technology. - Berlin [u.a.] : Mouton de Gruyter (1996), 267-316 BLLDB Show details 16 Higher-Order Coloured Unification and Natural Language Semantics ... Gardent, Claire; Kohlhase, Michael. - : arXiv, 1996 BASE Show details 17 Corrections and Higher-Order Unification ... Gardent, Claire; Kohlhase, Michael; van Neusen, Noor. - : arXiv, 1996 BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 2 IDS Mannheim 0 OLC Linguistik 4 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 5 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 7 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0