Letzte Suchanfragen

Ergebnisse für *

Es wurden 5 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 5 von 5.

Sortieren

  1. Efficient parsing for natural language
    Erschienen: 1986
    Verlag:  Kluwer, Boston [u.a.]

    Ruhr-Universität Bochum, Fakultät für Philologie, Sprachwissenschaftliches Institut, Bibliothek
    10.10 167.1
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0898382025
    RVK Klassifikation: ES 900 ; ST 513 ; ST 306
    Auflage/Ausgabe: 2. pr.
    Schriftenreihe: The Kluwer international series in engineering and computer science ; 8 : Natural language processing and machine translation
    Schlagworte: Optimierung; Parser; Automatische Spracherkennung
    Umfang: XVIII, 201 S., graph. Darst.
  2. Efficient parsing for natural language
    a fast algorithm for practical systems
    Erschienen: 1986
    Verlag:  Nijhoff, Dordrecht

    Universitätsbibliothek Bielefeld
    NA186.50 T657
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0898382025
    RVK Klassifikation: ST 306 ; ES 900 ; ST 513
    Schriftenreihe: Kluwer international series in engeneering and computer science. Natural language processing and machine translation
    Schlagworte: Parser; Optimierung; Automatische Spracherkennung
    Umfang: XVIII, 201 S., graph. Darst.
  3. Symbolic logic and mechanical theorem proving
    Erschienen: 1987
    Verlag:  Acad. Pr., New York

    Universitätsbibliothek Bielefeld
    HI973 C456
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Char-Tung Lee, Richard (Verfasser)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0121703509
    RVK Klassifikation: SK 130 ; SK 930 ; ES 930
    Schriftenreihe: Computer science classics
    Schlagworte: LISP; Nichtnumerisches Verfahren; Nichtnumerische Datenverarbeitung; Beweistheorie; Mathematische Logik; Optimierung
    Umfang: XIII, 331 S., graph. Darst.
  4. Symbolic logic and mechanical theorem proving
    Erschienen: 1985
    Verlag:  Academic Press, Orlando [u.a.]

    Universitäts- und Landesbibliothek, Abteilungsbibliothek Medizin, Naturwissenschaften und Landbau
    86/25513
    Ausleihe von Bänden möglich, keine Kopien
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Char-Tung Lee, Richard (Verfasser)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0121703509
    RVK Klassifikation: ES 930 ; SK 930 ; SK 130
    Auflage/Ausgabe: 6. [print.]
    Schriftenreihe: Computer science and applied mathematics
    Schlagworte: Nichtnumerisches Verfahren; LISP; Nichtnumerische Datenverarbeitung; Mathematische Logik; Optimierung; Beweistheorie
    Umfang: XIII, 331 S., graph. Darst.
  5. Efficient parsing for natural language
    a fast algorithm for practical systems
    Erschienen: 1986
    Verlag:  Kluwer Academic, Boston [u.a.]

    Ruhr-Universität Bochum, Universitätsbibliothek
    HXB7507
    Ausleihe von Bänden möglich, keine Kopien
    Englisches Seminar der Universität, Bibliothek
    10.3 Tomi 86
    keine Fernleihe
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    I Tomi
    keine Fernleihe
    Universitätsbibliothek Wuppertal
    BFP1810
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0898382025
    RVK Klassifikation: ST 306 ; ES 900 ; ST 513
    Auflage/Ausgabe: 2. print.
    Schriftenreihe: The Kluwer international series in engineering and computer science ; 8 : Natural language processing and machine translation
    Schlagworte: Automatische Spracherkennung; Parser; Optimierung
    Umfang: XVIII, 201 S., graph. Darst.