Ergebnisse für *

Es wurden 26 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 25 von 26.

Sortieren

  1. Gegen den pädagogischen Formalismus
    zu einigen Fragen der Anwendung des dialektischen Materialismus bei der Überwindung des Formalismus und Verbalismus in der Unterrichts- und Erziehungsarbeit
    Erschienen: 1959
    Verlag:  VEB Dt. Verl. d. Wissenschaften, Berlin

    BBF | Bibliothek für Bildungsgeschichtliche Forschung in Berlin
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    14 Per 493-1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Universität Chemnitz, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    Bibliothek der Pädagogischen Hochschule Erfurt (Mühlhausen)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    Bibliothek der Pädagogischen Hochschule Erfurt
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Universität Bergakademie Freiberg, Bibliothek 'Georgius Agricola'
    63.2660 8.
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Greifswald
    672/Z 60 A 5(1)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hamburger Lehrerbibliothek, Bibliothek des Landesinstituts für Lehrerbildung und Schulentwicklung
    Pd 1007
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    D 120/571 Ex.1
    keine Fernleihe
    Institut für Bildungswissenschaft der Universität, Bibliothek
    Hbd 59.1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Thüringer Universitäts- und Landesbibliothek
    8 R 2524 :1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Leipzig
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Otto-von-Guericke-Universität, Universitätsbibliothek
    62.4568
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Otto-von-Guericke-Universität, Universitätsbibliothek
    62.4570
    keine Fernleihe
    Universitätsbibliothek Mannheim
    500 DF 3000 K65 G299
    keine Fernleihe
    Regionalbibliothek Neubrandenburg
    F 211 AB
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Osnabrück
    4063-214 0
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Rostock
    ausgesondert2019DK 1000 K65 G2
    keine Fernleihe
    Universitätsbibliothek Rostock
    Hb-3994(1)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität des Saarlandes, Bereichsbibliothek Empirische Humanwissenschaften
    40/CP 5000 K65
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Landesbibliothek Mecklenburg-Vorpommern Günther Uecker im Landesamt für Kultur und Denkmalpflege
    Da 1603/256
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bibliothek der Institute für Erziehungswissenschaft
    Cd 346
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Vechta
    611422
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Klassik Stiftung Weimar / Herzogin Anna Amalia Bibliothek
    40879 - A
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzogin Anna Amalia Bibliothek
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    RVK Klassifikation: DF 3000 ; DP 1000 ; CP 5000
    Schriftenreihe: Pädagogische Wissenschaft und sozialistische Schule ; 1
    Schlagworte: Formalisierung; Überwindung; Lernen; Unterricht;
    Umfang: 63 S., 20 cm
    Bemerkung(en):

    Literaturangaben

  2. Computeranwendungen und sprachlicher Kontext
    zu den Wechselwirkungen zwischen normaler und formaler Sprache bei Einsatz und Entwicklung von Software
    Erschienen: 1997
    Verlag:  Lang, Frankfurt am Main u.a.

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Europa-Universität Viadrina, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Potsdam, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    ISBN: 3631320248
    RVK Klassifikation: ST 680 ; ES 900 ; ST 510
    Schriftenreihe: [Europäische Hochschulschriften / 41] ; 27
    Schlagworte: Computer software; Natural language processing (Computer science); Softwareentwicklung; Formale Sprache; Sprachphilosophie; Formalisierung; Natürliche Sprache; Software
    Umfang: 266 S.
    Bemerkung(en):

    Zugl.: Hamburg, Univ., Diss., 1997

  3. A Formalization of the »Digital Methods« – Supporting Comprehensible Access to the Novel Web Science Research Field
    Erschienen: 2014
    Verlag:  Hochschulbibliothek der Technischen Hochschule Köln, Köln

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Fischer, Kristian (Gutachter); Pieters, Wolter (Gutachter)
    Sprache: Englisch
    Medientyp: Dissertation
    Format: Online
    Weitere Identifier:
    DDC Klassifikation: Datenverarbeitung; Informatik (004)
    Schlagworte: Digital Humanities; Ontologie; Semantic Web; Formalisierung
    Weitere Schlagworte: Web Science; Digital methods; Webwissenschaft; Online-Forschung; Social network analysis
    Umfang: Online-Ressource
    Bemerkung(en):

    Masterarbeit, Köln, Fachhochschule Köln,

  4. Probleme der Selektion und Semantik
    Autor*in:
    Erschienen: 1987
    Verlag:  Akad.-Verl., Berlin

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Verbund der Öffentlichen Bibliotheken Berlins - VÖBB
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Kunze, Jürgen (Sonstige); Jung, Uwe (Sonstige); Küstner, Herbert (Sonstige)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3050002050
    RVK Klassifikation: ER 740 ; ES 940 ; ER 300
    Schriftenreihe: Studia grammatica ; 28
    Schlagworte: Allemand (Langue) - Propositions; Allemand (Langue) - Sémantique; Duits; Formele semantiek; Grammaire comparée et générale; Linguistique; Sémantique; Deutsch; German language; German language; Computerlinguistik; Automatische Sprachanalyse; Zeit; Negation; Deutsch; Tempus; Präsupposition; Aussagenkalkül; Formalisierung; Semantik
    Umfang: 212 S., graph. Darst.
    Bemerkung(en):

    Zsfssungen in engl. Sprache

  5. Formalization of natural languages
    Erschienen: 1979
    Verlag:  Springer, Berlin u.a.

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3540082719; 0387082719
    RVK Klassifikation: ES 920 ; ES 900
    Schriftenreihe: Communication and cybernetics ; 15
    Schlagworte: Linguistique informatique; Formalization (Linguistics); Natural language processing (Computer science); Formalisierung; Natürliche Sprache; Computerlinguistik; Sprache; Mensch-Maschine-Kommunikation
    Umfang: X, 223 S., Ill., graph. Darst.
  6. Fachspezifische Varianz der Formalisierbarkeit von Forschungsprozessen
    eine vergleichende Untersuchung am Beispiel der Editionsphilologie und der Klimaforschung
    Autor*in: Tschida, Ulla
    Erschienen: 2019

    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Volltext (kostenfrei)
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    Format: Online
    Weitere Identifier:
    RVK Klassifikation: AK 39860 ; AN 65800 ; AK 25000 ; AK 26600
    Schlagworte: Klimatologie; Formalisierung; Edition; Forschung
    Umfang: 1 Online-Ressource (213 Seiten), Illustrationen
    Bemerkung(en):

    Dissertation, Humboldt-Universität zu Berlin, 2019

  7. Fachspezifische Varianz der Formalisierbarkeit von Forschungsprozessen
    eine vergleichende Untersuchung am Beispiel der Editionsphilologie und der Klimaforschung
    Autor*in: Tschida, Ulla
    Erschienen: 2019

    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Volltext (kostenfrei)
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    RVK Klassifikation: AN 65800 ; AK 25000 ; AK 26600 ; AK 39860
    Schlagworte: Klimatologie; Formalisierung; Edition; Forschung
    Umfang: 213 Seiten, Illustrationen
    Bemerkung(en):

    Dissertation, Humboldt-Universität zu Berlin, 2019

  8. Computeranwendungen und sprachlicher Kontext
    zu den Wechselwirkungen zwischen normaler und formaler Sprache bei Einsatz und Entwicklung von Software
    Erschienen: 1997
    Verlag:  Lang, Frankfurt am Main [u.a.]

    TU Darmstadt, Institut für Allgemeine Pädagogik und Berufsädagogik
    -094-CSW 193
    keine Fernleihe
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    86.272.52
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Mainz, Bereichsbibliothek Rechts- und Wirtschaftswissenschaften
    XIV/d 207
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    Format: Druck
    ISBN: 3631320248
    RVK Klassifikation: ST 510 ; ES 900 ; ST 510
    Schriftenreihe: Europäische Hochschulschriften. Reihe 41, Informatik ; 27
    Schlagworte: Natürliche Sprache; Formale Sprache; Formalisierung; Sprachphilosophie; Linguistik; Linguistik; Computerunterstütztes Verfahren
    Umfang: 266 S.
    Bemerkung(en):

    Zugl.: Hamburg, Univ., Diss., 1997

  9. Formalization of natural languages
    Erschienen: 1979
    Verlag:  Springer, Berlin [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 306 K95
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 306 K95
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Sg 425 Bd. 15
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    11.350.98
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Mathematikbibliothek
    A 11990
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    I.2-115
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    I.2-115 ex 2
    keine Fernleihe
    Hochschul- und Landesbibliothek Fulda, Standort Campus
    20 / ES 920 K95
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Mainz, Zentralbibliothek
    076.679
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Germanistik I / Kulturanthropologie und Germanistik II
    C 50 - K 92
    keine Fernleihe
    Universität Marburg, Universitätsbibliothek
    P 59/5, 15
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540082719; 0387082719
    RVK Klassifikation: ES 900 ; ES 920 ; ST 306
    Schriftenreihe: Communication and cybernetics ; 15
    Schlagworte: Mensch-Maschine-Kommunikation; Natürliche Sprache; Sprache; Computerlinguistik; Formalisierung; Sprache
    Umfang: X, 223 S., Ill., graph. Darst., 25 cm
    Bemerkung(en):

    Literaturverz. S. 208 - 211

  10. NLP-supported full-text retrieval
    Erschienen: 2001
    Verlag:  CLUE, Erlangen

    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Q 87.260.15
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  11. Computeranwendungen und sprachlicher Kontext
    zu den Wechselwirkungen zwischen normaler und formaler Sprache bei Einsatz und Entwicklung von Software
    Erschienen: 1997
    Verlag:  Lang, Frankfurt am Main u.a.

    Universitätsbibliothek Augsburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek der LMU München
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Passau
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    ISBN: 3631320248
    RVK Klassifikation: ST 680 ; ES 900 ; ST 510
    Schriftenreihe: [Europäische Hochschulschriften / 41] ; 27
    Schlagworte: Computer software; Natural language processing (Computer science); Softwareentwicklung; Formale Sprache; Sprachphilosophie; Formalisierung; Natürliche Sprache; Software
    Umfang: 266 S.
    Bemerkung(en):

    Zugl.: Hamburg, Univ., Diss., 1997

  12. Symposium on Formalization in Historical Linguistics
    Tallinn, Nov. 24 - 26, 1986 ; summaries
    Autor*in:
    Erschienen: 1986

    Bayerische Staatsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Remmel, Mart (Sonstige)
    Sprache: Unbestimmt
    Medientyp: Konferenzschrift
    Körperschaften/Kongresse: Symposium on Formalization in Historical Linguistics (1986, Tallin)
    Schlagworte: Historische Sprachwissenschaft; Formalisierung
    Umfang: 87 S.
  13. Zur Logik empirischer Theorien
    Autor*in:
    Erschienen: 1983
    Verlag:  de Gruyter, Berlin [u.a.]

    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    1999 8 022242
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Max-Planck-Institut zur Erforschung von Kriminalität, Sicherheit und Recht, Bibliothek
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachbereichsbibliothek Philosophie und Erziehungswissenschaft, Abteilung Philosophie
    Frei 32: BF 101/20
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Heidelberg
    83 A 3689
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Heidelberg, Philosophisches Seminar, Bibliothek
    117 Bal
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Heidelberg, Psychologisches Institut, Bibliothek
    B 0 529 Bal
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Campusbibliothek Bergheim der Universität
    WS/CC 3500 B198
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Badische Landesbibliothek
    83 A 6378
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    2004 A 13496
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Leipzig
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    MA 690
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Mannheim
    500 CC 3100 B198
    keine Fernleihe
    Universitätsbibliothek Mannheim
    AK 2439
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität des Saarlandes, Deutsch-Europäisches Juridicum
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität des Saarlandes, Fachrichtung Philosophie, Bibliothek
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Württembergische Landesbibliothek
    33/4448
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Tübingen, Philosophisches Seminar, Bibliothek
    D 3/1983,1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Leibniz-Institut für Deutsche Sprache, Bibliothek
    Beteiligt: Balzer, Wolfgang (Hrsg.)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3110097117; 3110082365
    RVK Klassifikation: CC 3500 ; CC 3200 ; CC 3100
    Schriftenreihe: Array
    Schlagworte: Empirische Theorie; ; Wissenschaftstheorie; Logik; ; Empirische Theorie; ; Naturwissenschaften; Theorie; Formalisierung; ; Empirische Theorie; Formalisierung; ; Naturwissenschaften; Theorie; Formalisierung; ; Empirische Theorie; Wissenschaftstheorie; ; Mathematische Logik;
    Umfang: VI, 331 S., graph. Darst.
    Bemerkung(en):

    Aus d. Ms. übers

  14. Aristotelian theory of prejudicative forms
    Erschienen: 2006
    Verlag:  Olms, Hildesheim [u.a.]

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    591585-10
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    FA 13021:10
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    A 450 S 0510
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    A 2006/7412
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    82/2578:10
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Thüringer Universitäts- und Landesbibliothek
    PHI:HB:900:A717:410:2006
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    As 9314-10
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    Bereich Klassisches Altertum
    keine Fernleihe
    Universitätsbibliothek Osnabrück
    IWB U 4279-763 0
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Herzog August Bibliothek Wolfenbüttel
    F8° 3063:10
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzog August Bibliothek Wolfenbüttel
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3487132095; 9783487132099
    RVK Klassifikation: CD 2067 ; FH 33150
    Schriftenreihe: Zur modernen Deutung der Aristotelischen Logik / begr. von Albert Menne und Niels Öffenberger. Hrsg. von Niels Öffenberger ; Bd. 10
    Schlagworte: Aristoteles; Prädikation; Formalisierung;
    Umfang: XVI, 228 S., graph. Darst.
  15. Probleme der Selektion und Semantik
    Autor*in:
    Erschienen: 1987
    Verlag:  Akad.-Verl., Berlin

    Universitätsbibliothek Augsburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Bamberg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Eichstätt-Ingolstadt
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Erlangen-Nürnberg, Hauptbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bayerische Staatsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek der LMU München
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Passau
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Würzburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Kunze, Jürgen (Sonstige); Jung, Uwe (Sonstige); Küstner, Herbert (Sonstige)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3050002050
    RVK Klassifikation: ER 740 ; ES 940 ; ER 300
    Schriftenreihe: Studia grammatica ; 28
    Schlagworte: Allemand (Langue) - Propositions; Allemand (Langue) - Sémantique; Duits; Formele semantiek; Grammaire comparée et générale; Linguistique; Sémantique; Deutsch; German language; German language; Computerlinguistik; Automatische Sprachanalyse; Zeit; Negation; Deutsch; Tempus; Präsupposition; Aussagenkalkül; Formalisierung; Semantik
    Umfang: 212 S., graph. Darst.
    Bemerkung(en):

    Zsfssungen in engl. Sprache

  16. Fachspezifische Varianz der Formalisierbarkeit von Forschungsprozessen
    eine vergleichende Untersuchung am Beispiel der Editionsphilologie und der Klimaforschung
    Autor*in: Tschida, Ulla
    Erschienen: 2019

    Universitätsbibliothek Augsburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Volltext (kostenfrei)
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    Format: Online
    Weitere Identifier:
    RVK Klassifikation: AK 39860 ; AN 65800 ; AK 25000 ; AK 26600
    Schlagworte: Klimatologie; Formalisierung; Edition; Forschung
    Umfang: 1 Online-Ressource (213 Seiten), Illustrationen
    Bemerkung(en):

    Dissertation, Humboldt-Universität zu Berlin, 2019

  17. Formalization of natural languages
    Erschienen: 1979
    Verlag:  Springer, Berlin u.a.

    Universitätsbibliothek Augsburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Bamberg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Eichstätt-Ingolstadt
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Erlangen-Nürnberg, Hauptbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bayerische Staatsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Deutsches Museum, Bibliothek
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Universität München, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek der LMU München
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität der Bundeswehr München, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Passau
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Regensburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3540082719; 0387082719
    RVK Klassifikation: ES 920 ; ES 900
    Schriftenreihe: Communication and cybernetics ; 15
    Schlagworte: Linguistique informatique; Formalization (Linguistics); Natural language processing (Computer science); Formalisierung; Natürliche Sprache; Computerlinguistik; Sprache; Mensch-Maschine-Kommunikation
    Umfang: X, 223 S., Ill., graph. Darst.
  18. Mathematical logic and formalized theories
    a survey of basic concepts and results
    Erschienen: 1974
    Verlag:  North-Holland Publ. Co. [u.a.], Amsterdam [u.a.]

    Universitätsbibliothek Braunschweig
    2435-0121
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Greifswald
    660/SK 130 R725
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    MAT 010:D0006
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    MA 431 2.
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Mannheim
    AD 2673
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Osnabrück
    TCK / Rog
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Leibniz-Institut für Deutsche Sprache, Bibliothek
    Beteiligt: Rogers, Robert
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0720420512; 0444100830
    RVK Klassifikation: SK 130
    Auflage/Ausgabe: 2. printing
    Schlagworte: Mathematische Logik; Formalisierung;
    Umfang: XI, 235 S.
  19. Logos et formalisation du langage
    Erschienen: 1977
    Verlag:  Klincksieck, Paris

    Staats- und Universitätsbibliothek Bremen
    a phi 917.7/925
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Freiburg
    GE 78/891
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    78 A 3821
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    R HS Dub
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    J 632
    keine Fernleihe
    Badische Landesbibliothek
    78 A 3285
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    AS 007 | DUB | Log 1
    keine Fernleihe
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    phc 370/t77i
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    MA 291
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Mannheim
    500 ER 620 D813
    keine Fernleihe
    Universitätsbibliothek Mannheim
    AF 9190
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek der Eberhard Karls Universität
    18 A 16137
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Brechtbau-Bibliothek
    GD 500.147
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Leibniz-Institut für Deutsche Sprache, Bibliothek
    Sprache: Französisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 2252019395
    RVK Klassifikation: ER 620 ; ES 163
    Schriftenreihe: Array
    Schlagworte: Formale Sprache; Sprachlogik; ; Sprache; Logik; ; Sprache; Formalisierung;
    Umfang: 301 S, graph. Darst.
  20. Algebra der Grammatik
    ein Beitrag zur Philosophie der Formenlehre und Syntax
    Autor*in: Stöhr, Adolf
    Erschienen: 1898
    Verlag:  Franz Deuticke, Leipzig

    Universitätsbibliothek Freiburg
    C 1145
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Sprachwissenschaftliches Seminar, Seminar für Allgemeine und Indogermanische Sprachwissenschaft, Bibliothek
    Frei 83: S/610/STO 1/1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Sozialwissenschaftliches Archiv Konstanz - Alfred-Schütz-Gedächtnis-Archiv
    VIII,1/29
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Leipzig
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Deutsches Literaturarchiv Marbach, Bibliothek
    Glück:C7
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Stuttgart
    1H 26
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Deutsches Literaturarchiv Marbach, Bibliothek
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    RVK Klassifikation: ER 720
    Schlagworte: Linguistik; Formalisierung;
    Umfang: 1 ungezähltes Blatt, 144 Seiten
  21. Computeranwendungen und sprachlicher Kontext
    zu den Wechselwirkungen zwischen normaler und formaler Sprache bei Einsatz und Entwicklung von Software
    Erschienen: 1997
    Verlag:  Lang, Frankfurt am Main [u.a.]

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    1 A 395881
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Braunschweig
    2767-2194
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Braunschweig
    SC 3/1
    keine Fernleihe
    Technische Universität Chemnitz, Universitätsbibliothek
    ES 900 dit
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    17.46.-00/4
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    R31844
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    R31845
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    97 U 5171
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    97 U 5171a
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    BE 1390
    keine Fernleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    RO 4595(27)
    Otto-von-Guericke-Universität, Universitätsbibliothek
    1999 a 6789:1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    phi 917.7 CJ 8250
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Potsdam, Universitätsbibliothek
    ST 230 DIT
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    I.2.0
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    Format: Druck
    ISBN: 3631320248
    RVK Klassifikation: ES 900 ; ST 510
    Schriftenreihe: Array ; 27
    Schlagworte: Softwareentwicklung; Natürliche Sprache; Formale Sprache; Formalisierung; Sprachphilosophie
    Umfang: 266 Seiten, Diagramme, 21 cm
    Bemerkung(en):

    Dissertation am Fachbereich Informatik, Fakultät für Mathematik, Informatik und Naturwissenschaften, Universität Hamburg angenommen

    Universität Hamburg, Fachbereich Informatik ist die Hochschulschrift betreuende Institution

    Dissertation am Fachbereich Informatik, Universität Hamburg angenommen

    Dissertation, Universität Hamburg, 1997

    :

  22. Formalisierung der Welt
    Autor*in:
    Erschienen: 1996
    Verlag:  Verl. für Gesellschaftskritik, Wien

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    Zsn 86750-7.1996
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Bremen
    fe 7144-7
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Sächsisches Staatsarchiv
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    (ZA 4966 : 7.1996,2)
    keine Fernleihe
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Württembergische Landesbibliothek
    Z 18272-7,2
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Herzog August Bibliothek Wolfenbüttel
    F8° 3935:7,2
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzog August Bibliothek Wolfenbüttel
    Sprache: Deutsch; Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    Schriftenreihe: Österreichische Zeitschrift für Geschichtswissenschaften ; 7.1996,2
    Schlagworte: Sozialwissenschaften; Formalisierung;
    Umfang: S. 170 - 304 S, Ill., graph. Darst, 23 cm
    Bemerkung(en):

    Beitr. teilw. dt., teilw. engl. - Literaturverz. S. 215 - 217

  23. Standardisierte Zeichen
    ein Paradigmenwechsel in den Geisteswissenschaften
    Erschienen: 2020
    Verlag:  [CompaRe], Frankfurt a.M. ; Universitätsbibliothek Johann Christian Senckenberg, Frankfurt am Main

    Zugang:
    Resolving-System (kostenfrei)
    Verlag (kostenfrei)
    Resolving-System (kostenfrei)
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Fachkatalog Germanistik
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Online
    Weitere Identifier:
    Übergeordneter Titel: Enthalten in: Wovon sprechen wir, wenn wir von Digitalisierung sprechen?; Frankfurt a.M. : [CompaRe], 2020; 1 Online-Ressource (17 Seiten); Seite 102-118
    DDC Klassifikation: Literatur und Rhetorik (800); Literaturen germanischer Sprachen; Deutsche Literatur (830)
    Schlagworte: Zeichen; Formalisierung; Zahl; Digitalisierung
    Umfang: 1 Online-Ressource (17 Seiten)
    Bemerkung(en):

    In: Wovon sprechen wir, wenn wir von Digitalisierung sprechen? : Gehalte und Revisionen zentraler Begriffe des Digitalen. Frankfurt am Main : CompaRe, 2020, S. 102-118

  24. Standardisierte Zeichen : ein Paradigmenwechsel in den Geisteswissenschaften
  25. Objectivity and Reproducibility of Proppian Narrative Annotations

    A formal narrative representation is a procedure assigning a formal description to a natural language narrative. One of the goals of the computational models of narrative community is to understand this procedure better in order to automatize it. A... mehr

     

    A formal narrative representation is a procedure assigning a formal description to a natural language narrative. One of the goals of the computational models of narrative community is to understand this procedure better in order to automatize it. A formal framework fit for automatization should allow for objective and reproducible representations. In this paper, we present empirical work focussing on objectivity and reproducibility of the formal framework by Vladimir Propp (1928). The experiments consider Propp’s formalization of Russian fairy tales and formalizations done by test subjects in the same formal framework; the data show that some features of Propp’s system such as the assignment of the characters to the dramatis personae and some of the functions are not easy to reproduce.

     

    Export in Literaturverwaltung
    Quelle: BASE Fachausschnitt Germanistik
    Sprache: Englisch
    Medientyp: Konferenzveröffentlichung
    Format: Online
    DDC Klassifikation: Sprache (400)
    Schlagworte: Computerlinguistik; Formalisierung; Handlungsstruktur; Methodologie; Erzählforschung; Reproduzierbarkeit
    Lizenz:

    rightsstatements.org/page/InC/1.0/ ; info:eu-repo/semantics/openAccess