„Formale Semantik“

Suchergebnisse

1.000+ Treffer

• Semantik – Einführung
  Zimmermann, Thomas Ede 2026 Nomos
• Schriften zur Ordnungstheorie komplexer Systeme/Formale Semantikanalyse – Eine Neubegründung semantischer Systeme
  Schaumburg, Marko O. G. 2025 epubli
• Schriften zur Ordnungstheorie komplexer Systeme/Formale Semantikanalyse – Eine Neubegründung semantischer Systeme
  Schaumburg, Marko O. G. 2025 epubli
• Semantics in data and knowledge bases – 5th international workshop ; revised selected papers
  Schewe, Klaus-Dieter ; Thalheim, Bernhard 2013 Springer
• Formal Semantics for the Progressive of Stative and Non-Stative Verbs
  Ballweg, Joachim ; Frosch, Helmut ; Eikmeyer, Hans-Jürgen ; Rieser, Hannes 2017 Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
• Semantics in Data and Knowledge Bases – 4th International Workshops, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
  Schewe, Klaus-Dieter ; Thalheim, Bernhard 2011 Springer Berlin Heidelberg
• New Frontiers in Artificial Intelligence – JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers
  Motomura, Yoichi ; Butler, Alastair ; Bekki, Daisuke 2015 Springer International Publishing
• Large language model based semantic interoperability enhancement for energy data management
  Pan, Zhiyu ; Monti, Antonello ; Hagenmeyer, Veit 2025 Universitätsbibliothek der RWTH Aachen
• Semantics in Data and Knowledge Bases – 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers
  Schewe, Klaus-Dieter ; Thalheim, Bernhard 2013 Springer Berlin Heidelberg
• Analyzing edits to static variability
  Bittner, Paul Maximilian 2025 Universität Ulm
• Montague and Categorial Grammar
  Frosch, Helmut ; Verschueren, Jef ; Östman, Jan-Ola ; Blommaert, Jan 2017 Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
• Lukassek, Julia: Lexikalische Semantik und Kombinatorik stativ-eventiv-ambiger Verben. Tübingen: Stauffenburg, 2020. 325 S. (Studien zur deutschen Grammatik; 98) ISBN 978-3-95809-549-6. [Rezension]
  Proost, Kristel 2023 de Gruyter
• Semantik – Eine Einführung
  Gutzmann, Daniel 2019 J.B. Metzler
• Formale Semantik und natürliche Sprache
  Lohnstein, Horst 2011 De Gruyter
• Formale Semantik und Natürliche Sprache – Einführendes Lehrbuch
  1996 VS Verlag für Sozialwissenschaften
• Formale Grundlagen der Programmierung
  2012 Vieweg+Teubner Verlag
• Formale Logik im Dialog – Aussagenlogik, Prädikatenlogik und Modale Logik, mit einer Prise Softwaretechnik gewürzt
  Doberkat, Ernst-Erich 2025 Springer Vieweg
• Reconstructing a logic for inductive proofs of properties of functional programs
  Sabel, David ; Schmidt-Schauß, Manfred 2010 Universitätsbibliothek Johann Christian Senckenberg
• Closures of may and must convergence for contextual equivalence
  Schmidt-Schauß, Manfred ; Sabel, David 2008 Univ.-Bibliothek Frankfurt am Main
• Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec
  Schmidt-Schauß, Manfred ; Machkasova, Elena ; Sabel, David 2009 Univ.-Bibliothek Frankfurt am Main