„Quantor“

Suchergebnisse

1.000+ Treffer

• Logik
  Wessel, Horst 1989 Dt. Verl. d. Wiss.
• On the Complexity and Expressiveness of Description Logics with Counting
  Baader, Franz ; De Bortoli, Filippo 2022 Technische Universität Dresden
• Indefinitum und Quantifikativum
  Frosch, Helmut ; Hoffmann, Ludger 2017 Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
• Semantik – Eine Einführung
  Gutzmann, Daniel 2019 J.B. Metzler
• Einführung in die Logik
  Strobach, Niko ; Schönecker, Dieter 2018 wbg Academic
• Schwierigkeiten von Studierenden in der Analysis I
  Oldenburg, Reinhard 2019 Universitätsbibliothek Dortmund
• Moritz Cantor und die krumme Linie des Archytas von Tarent
  Hischer, Horst 2012 Saarländische Universitäts- und Landesbibliothek
• Quantifier scope ambiguities in English, German, and Asante Twi (Akan): structural and pragmatic factors
  Philipp, Mareike ; Zimmermann, Malte ; Grubic, Mira ; Wurmbrand, Susanne 2023 Universität Potsdam
• Wahr neben falsch – duale Operatoren als die Quantoren natürlicher Sprache
  Löbner, Sebastian 1990 Niemeyer
• Natürlich-sprachliche Quantoren – modelltheoretische Untersuchungen zu universellen semantischen Beschränkungen
  Hamm, Fritz 1989 Niemeyer
• Die Interpretation der Quantoren in der Kanger-Mates-Skyrms-Semantik – Ein Vergleich mit der referentiellen und der substitutionellen Interpretation von Quantoren, sowie Implikationen für die Modallogik
  Leitner, Christoph 2009 VDM Verlag Dr. Müller
• Ramsey Quantifiers in First-Order Logic: Complexity and Applications to Verification
  Bergsträßer, Pascal ; Lin, Anthony Widjaja ; Zetzsche, Georg 2025 Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Abhängige Sätze in einem fragebasierten Diskursmodell
  Antomo, Mailin Ines ; Steinbach, Markus ; Holler, Anke 2015 Niedersächsische Staats- und Universitätsbibliothek Göttingen
• RECAA - Werkzeugunterstützung in der Anforderungserhebung
  Körner, Sven J. ; Tichy, W. F. 2014 KIT-Bibliothek
• Intervention effects in questions
  Kim, Shin-Sook
• Logic and games on automatic structures
  Kaiser, Łukasz
• Cylindrical decomposition under application-oriented paradigms
  Seidl, Andreas
• Algorithmic strategies for applicable real quantifier elimination
  Dolzmann, Andreas
• Generalized quantifiers and computation – revised lectures
  Väänänen, Jouko 2000 Springer
• Umgang von Studienanfängern mit quantifizierten Aussagen – eine Pilotstudie
  Feil, Lidia 2020 Universitätsbibliothek Dortmund