Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 38 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 25 von 38.

Sortieren

  1. »Gedenke zu leben! Wage es, glücklich zu sein!"
    oder Goethe und das Glück
    Autor*in: Osten, Manfred
    Erschienen: 2017
    Verlag:  Wallstein Verlag, Göttingen

  2. »Gedenke zu leben! Wage es, glücklich zu sein!"
    oder Goethe und das Glück
    Autor*in: Osten, Manfred
    Erschienen: 2017
    Verlag:  Wallstein Verlag, Göttingen

  3. Entprofessionalisieren wir uns!
    ein kritisches Wörterbuch über die Sprache in Pflege und sozialer Arbeit
    Autor*in:
    Erschienen: [2017]
    Verlag:  transcript, Bielefeld

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
  4. Symbolic ligic and mechanical theorem proving
    Autor*in: Chang, Chin-Liang
    Erschienen: 1987
    Verlag:  Acad. Pr., Boston [u. a.]

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Lee, Richard Char-Tung (Sonstige)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 0121703509
    RVK Klassifikation: SK 130 ; ES 930
    Schriftenreihe: Computer science classics
    Schlagworte: Nichtnumerisches Verfahren; Mathematische Logik; LISP; Nichtnumerische Datenverarbeitung; Beweistheorie; Optimierung
    Umfang: XII, 331 S., graph. Darst.
  5. Textoptimierung
    das Verständlichermachen von Texten als linguistisches, psychologisches und praktisches Problem
    Autor*in:
    Erschienen: 1989
    Verlag:  Lang, Frankfurt am Main [u.a.]

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Antos, Gerd (Sonstige); Augst, Gerhard (Sonstige)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3631417381
    RVK Klassifikation: GC 8083 ; ET 760 ; ET 800 ; ER 960 ; CP 6500 ; ES 650
    Schriftenreihe: Theorie und Vermittlung der Sprache ; 11
    Schlagworte: Tekstanalyse; Discourse analysis; Linguistic analysis (Linguistics); Verstehen; Textlinguistik; Psychologie; Textproduktion; Textverstehen; Optimierung; Linguistik
    Umfang: 177 S., Ill., graph. Darst.
  6. Symbolic logic and mechanical theorem proving
    Autor*in: Chang, Chin-Liang
    Erschienen: 1973
    Verlag:  Acad. Press, New York [u.a.]

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Lee, Richard C. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0121703509
    RVK Klassifikation: ES 930 ; SK 130 ; SK 930
    Schriftenreihe: Computer science and applied mathematics
    Schlagworte: Mathematische Logik; LISP; Beweistheorie; Nichtnumerische Datenverarbeitung; Optimierung; Nichtnumerisches Verfahren
    Umfang: XIII, 331 S., graph. Darst.
  7. Problem-solving methods in artificial intelligence
    Autor*in: Nilsson, Nils J.
    Erschienen: 1971
    Verlag:  McGraw-Hill, New York [u.a.]

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0070465738
    RVK Klassifikation: ST 285 ; QH 500 ; CC 5200 ; ES 900 ; CP 4000 ; ST 300
    Schriftenreihe: McGraw-Hill computer science series
    Schlagworte: Künstliche Intelligenz; Computersimulation; Optimierung; Problemlösen
    Umfang: XIV, 255 S., graph. Darst.
  8. Textoptimierung. Ein Versuch zur Verbesserung geschriebener Texte
    Autor*in: Mayer, Magdalena
    Erschienen: 2005
    Verlag:  GRIN Verlag GmbH, München

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Ebook
    Format: Online
    ISBN: 9783638391115
    Weitere Identifier:
    Schlagworte: Urfassung; Textanalyse; Optimierung; Textverstehen; Germanistik; Literaturwissenschaft
    Weitere Schlagworte: Spillner, Bernd (1941-); (Produktform)Electronic book text; (BISAC Subject Heading)LIT004170; textoptimierung;versuch;verbesserung;texte;projektseminar; (VLB-WN)9563
    Umfang: Online-Ressource
    Bemerkung(en):

    Lizenzpflichtig. - Vom Verlag als Druckwerk on demand und/oder als E-Book angeboten
  9. Optimierung von Instandhaltungsstrategien bei unscharfen Eingangsdaten
    Autor*in: Aha, Ulrich
    Erschienen: 2013
    Verlag:  Kassel University Press, Kassel

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    Format: Online
    ISBN: 9783862194896
    Weitere Identifier:
    RVK Klassifikation: Großkraftwerk ; Instandhaltungsplanung ; Braunkohlekraftwerk ; Oxyfuel-Verfahren ; Kostenoptimierung ; Unschärfe
    Schlagworte: Großkraftwerk; Instandhaltungsplanung; Braunkohlekraftwerk; Oxyfuel-Verfahren; Kostenoptimierung; Unschärfe; Strategie; Instandhaltung; Seitenkraft; Pumpspeicherwerk; Kraftwerkseinsatz; Kraftwerk
    Weitere Schlagworte: Instandhaltungsstrategie; Optimierung; Kraftwerk
    Umfang: Online-Ressource
    Bemerkung(en):

    Lizenzpflichtig

    Zugl.: Cottbus, Univ., Diss., 2013
  10. Entwurf und Implementierung der Anfrageverarbeitung von META-AKAD
    Autor*in: Wagner, Björn
    Erschienen: 2003
    Verlag:  Technische Universität Kaiserslautern, Fachbereich Informatik, Kaiserslautern

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    Format: Online
    Weitere Identifier:
    DDC Klassifikation: Datenverarbeitung; Informatik (004)
    Schlagworte: Java 2 Enterprise Edition
    Weitere Schlagworte: META-AKAD; Anfrageverarbeitung; Optimierung
    Umfang: Online-Ressource
    Bemerkung(en):

    Kaiserslautern, Univ., Projektarbeit, 2003
  11. Textoptimierung
    das Verständlichermachen von Texten als linguistisches, psychologisches und praktisches Problem
    Autor*in:
    Erschienen: 1992
    Verlag:  Lang, Frankfurt am Main [u.a.]

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Antos, Gerd (Sonstige)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3631417381
    RVK Klassifikation: ER 960 ; GC 8083 ; ET 800 ; ET 760 ; ES 650 ; CP 6500
    Auflage/Ausgabe: 2. Aufl.
    Schriftenreihe: Theorie und Vermittlung der Sprache ; 11
    Schlagworte: Applied linguistics; Discourse analysis; Textproduktion; Psychologie; Textlinguistik; Textverstehen; Linguistik; Verstehen; Optimierung
    Umfang: 177 S., Ill., graph. Darst.
  12. Efficient parsing for natural language
    a fast algorithm for practical systems
    Autor*in: Tomita, Masaru
    Erschienen: 1986
    Verlag:  Kluwer, Boston u.a.

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0898382025
    RVK Klassifikation: ES 945 ; ES 900 ; ST 306
    Schriftenreihe: Kluwer international series in engineering and computer science ; 8.
    Schlagworte: Algorithmes; Analyse automatique (Linguistique); Langages de programmation - Sémantique; Traduction automatique; Computational linguistics; Parser; Sprachverarbeitung <Psycholinguistik>; Optimierung; Automatische Spracherkennung
    Umfang: XVIII, 200 S., graph. Darst.
  13. Entprofessionalisieren wir uns!
    Ein kritisches Wörterbuch über die Sprache in Pflege und sozialer Arbeit
    Autor*in:
    Erschienen: 2017
    Verlag:  transcript Verlag, Bielefeld

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  14. Über den Menschen als Kunstwerk
    Zu einer Archäologie des (Post-)Humanen im Diskurs der Moderne (1750-1820)
    Autor*in: Herrmann, Britta
    Erschienen: 2016
    Verlag:  Fink, Wilhelm, Paderborn

  15. Problem-solving methods in artificial intelligence
    Autor*in: Nilsson, Nils J.
    Erschienen: 1971
    Verlag:  McGraw-Hill, New York [u.a.]

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 300 N712
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    10.416.45
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Mathematikbibliothek
    Signatur:
    A 8777
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    I.2-185
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    Signatur:
    122 ST 300 N712
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    Signatur:
    ST 3000 NIL2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Bibliothek Psychologie
    Signatur:
    ME 5.4/11
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0070465738
    RVK Klassifikation: CC 5200 ; CP 4000 ; ES 900 ; QH 500 ; ST 285 ; ST 300
    Schriftenreihe: McGraw-Hill computer science series
    Schlagworte: Problemlösen; Optimierung; Künstliche Intelligenz; Computersimulation
    Umfang: XIV, 255 S., graph. Darst.
    Bemerkung(en):

    Literaturverz.: S. 234 - 244
  16. Efficient parsing for natural language
    a fast algorithm for practical systems
    Autor*in: Tomita, Masaru
    Erschienen: 1986
    Verlag:  Kluwer Acad. Publ., Boston [u.a.]

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    12.058.79
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Bibliothek Sozialwissenschaften und Psychologie (BSP)
    Signatur:
    GesWiss: GM 0939
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Germanistik I / Kulturanthropologie und Germanistik II
    Signatur:
    C 40 - T 53
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0898382025
    RVK Klassifikation: ES 900 ; ES 940 ; HF 190
    Auflage/Ausgabe: 2. print.
    Schriftenreihe: Kluwer international series in engineering and computer science ; 8 : Natural language processing and machine translation
    Schlagworte: Parser; Automatische Spracherkennung; Optimierung
    Umfang: XVIII, 201 S., graph. Darst.
  17. Textoptimierung
    das Verständlichermachen von Texten als linguistisches, psychologisches und praktisches Problem
    Autor*in:
    Erschienen: 1992
    Verlag:  Lang, Frankfurt am Main [u.a.]

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Hauptbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Hochschule für Philosophie, Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek der LMU München
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Antos, Gerd (Sonstige)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3631417381
    RVK Klassifikation: ER 960 ; GC 8083 ; ET 800 ; ET 760 ; ES 650 ; CP 6500
    Auflage/Ausgabe: 2. Aufl.
    Schriftenreihe: Theorie und Vermittlung der Sprache ; 11
    Schlagworte: Applied linguistics; Discourse analysis; Textproduktion; Psychologie; Textlinguistik; Textverstehen; Linguistik; Verstehen; Optimierung
    Umfang: 177 S., Ill., graph. Darst.
  18. Textoptimierung
    das Verständlichermachen von Texten als linguistisches, psychologisches und praktisches Problem
    Autor*in:
    Erschienen: 1989
    Verlag:  Lang, Frankfurt am Main [u.a.]

    Standort:
    Universitätsbibliothek Augsburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Bamberg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Bayreuth
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Eichstätt-Ingolstadt
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Hauptbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Bayerische Staatsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Bayerisches Nationalmuseum, Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek der LMU München
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Regensburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Würzburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Antos, Gerd (Sonstige); Augst, Gerhard (Sonstige)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3631417381
    RVK Klassifikation: GC 8083 ; ET 760 ; ET 800 ; ER 960 ; CP 6500 ; ES 650
    Schriftenreihe: Theorie und Vermittlung der Sprache ; 11
    Schlagworte: Tekstanalyse; Discourse analysis; Linguistic analysis (Linguistics); Verstehen; Textlinguistik; Psychologie; Textproduktion; Textverstehen; Optimierung; Linguistik
    Umfang: 177 S., Ill., graph. Darst.
  19. Efficient parsing for natural language
    a fast algorithm for practical systems
    Autor*in: Tomita, Masaru
    Erschienen: 1986
    Verlag:  Kluwer, Boston u.a.

    Standort:
    Universitätsbibliothek Augsburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Bamberg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek der LMU München
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0898382025
    RVK Klassifikation: ES 945 ; ES 900 ; ST 306
    Schriftenreihe: Kluwer international series in engineering and computer science ; 8.
    Schlagworte: Algorithmes; Analyse automatique (Linguistique); Langages de programmation - Sémantique; Traduction automatique; Computational linguistics; Parser; Sprachverarbeitung <Psycholinguistik>; Optimierung; Automatische Spracherkennung
    Umfang: XVIII, 200 S., graph. Darst.
  20. Efficient parsing for natural language
    a fast algorithm for practical systems
    Autor*in: Tomita, Masaru
    Erschienen: 1986
    Verlag:  Kluwer, Boston u.a.

    Standort:
    Universitätsbibliothek Regensburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0898382025
    RVK Klassifikation: ES 940 ; ES 900
    Schriftenreihe: The Kluwer international series in engineering and computer science ; 8 : Natural language processing and machine translation
    Schlagworte: Algorithms; Machine translating; Natural language processing (Computer science); Parsing (Computer grammar); Parser; Sprachverarbeitung <Psycholinguistik>; Optimierung; Automatische Spracherkennung
    Umfang: XVIII, 201 S., graph. Darst.
  21. Efficient parsing for natural language
    a fast algorithm for practical systems
    Autor*in: Tomita, Masaru
    Erschienen: 1986
    Verlag:  Kluwer Acad. Publ., Boston u.a.

    Standort:
    Universitätsbibliothek Würzburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0898382025
    RVK Klassifikation: ST 513 ; ES 945 ; ES 900 ; ST 306
    Auflage/Ausgabe: 2. pr.
    Schriftenreihe: The Kluwer international series in engineering and computer science ; 8
    Schlagworte: manualer; parsing; Parser; Sprachverarbeitung <Psycholinguistik>; Optimierung; Automatische Spracherkennung
    Umfang: XVIII, 201 S., graph. Darst.
  22. Optimierung von Suchanfragen in Fachtexten
    Autor*in: Gulyaeva, Ekaterina
    Erschienen: 2005

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Hauptbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 275 ; GD 8850 ; ST 680
    Schlagworte: Linguistik; Datenbank; Rechtswissenschaft; Information Retrieval; Optimierung; Deutsch; Rechtssprache
    Umfang: 96 Bl., graph. Darst.
    Bemerkung(en):

    Erlangen-Nürnberg, Univ., Magisterarbeit, 2005
  23. Symbolic logic and mechanical theorem proving
    Autor*in: Chang, Chin-Liang
    Erschienen: 1979
    Verlag:  Acad. Press, New York

    Standort:
    Universitätsbibliothek Eichstätt-Ingolstadt
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Lee, Richard C. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0121703509
    RVK Klassifikation: ES 930
    Auflage/Ausgabe: 3. print.
    Schriftenreihe: Computer science and applied mathematics
    Schlagworte: Beweistheorie; Mathematische Logik; Nichtnumerisches Verfahren; Optimierung; Nichtnumerische Datenverarbeitung; LISP
    Umfang: XIII,331 S.
  24. Symbolic logic and mechanical theorem proving
    Autor*in: Chang, Chin-Liang
    Erschienen: 1973
    Verlag:  Acad. Press, New York [u.a.]

    Standort:
    Universitätsbibliothek Augsburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Bayreuth
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Eichstätt-Ingolstadt
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek der LMU München
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universität der Bundeswehr München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Regensburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Lee, Richard C. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0121703509
    RVK Klassifikation: ES 930 ; SK 130 ; SK 930
    Schriftenreihe: Computer science and applied mathematics
    Schlagworte: Mathematische Logik; LISP; Beweistheorie; Nichtnumerische Datenverarbeitung; Optimierung; Nichtnumerisches Verfahren
    Umfang: XIII, 331 S., graph. Darst.
  25. Problem-solving methods in artificial intelligence
    Autor*in: Nilsson, Nils J.
    Erschienen: 1971
    Verlag:  McGraw-Hill, New York [u.a.]

    Standort:
    Universitätsbibliothek Bamberg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Eichstätt-Ingolstadt
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universität der Bundeswehr München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Regensburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Würzburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0070465738
    RVK Klassifikation: ST 285 ; QH 500 ; CC 5200 ; ES 900 ; CP 4000 ; ST 300
    Schriftenreihe: McGraw-Hill computer science series
    Schlagworte: Künstliche Intelligenz; Computersimulation; Optimierung; Problemlösen
    Umfang: XIV, 255 S., graph. Darst.