Filtern nach
Letzte Suchanfragen

Ergebnisse für *

Es wurden 77 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 25 von 77.

Sortieren

  1. Grammatical inference
    learning automata and grammars
    Erschienen: 2010
    Verlag:  Cambridge University Press, Cambridge

    The problem of inducing, learning or inferring grammars has been studied for decades, but only in recent years has grammatical inference emerged as an independent field with connections to many scientific disciplines, including bio-informatics,... mehr

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe

     

    The problem of inducing, learning or inferring grammars has been studied for decades, but only in recent years has grammatical inference emerged as an independent field with connections to many scientific disciplines, including bio-informatics, computational linguistics and pattern recognition. This book meets the need for a comprehensive and unified summary of the basic techniques and results, suitable for researchers working in these various areas. In Part I, the objects of use for grammatical inference are studied in detail: strings and their topology, automata and grammars, whether probabilistic or not. Part II carefully explores the main questions in the field: What does learning mean? How can we associate complexity theory with learning? In Part III the author describes a number of techniques and algorithms that allow us to learn from text, from an informant, or through interaction with the environment. These concern automata, grammars, rewriting systems, pattern languages or transducers

     

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9781139194655
    Weitere Identifier:
    RVK Klassifikation: ES 965 ; ST 304
    Schlagworte: Logic, Symbolic and mathematical; Formal languages; Formal languages; Logic, Symbolic and mathematical
    Umfang: 1 Online-Ressource (xiv, 417 pages), digital, PDF file(s)
    Bemerkung(en):

    Title from publisher's bibliographic system (viewed on 01 Feb 2016)

  2. Semantische Repräsentationen im maschinellen Übersetzungssystem MILS
    Autor*in: Sun, Bingying
    Erschienen: 1996
    Verlag:  Lang, Frankfurt am Main [u.a.]

    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
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3631305869
    RVK Klassifikation: ES 960 ; ST 304 ; ST 515
    Schriftenreihe: [Europäische Hochschulschriften / 41] ; 23
    Schlagworte: Grammatik; Grammar, Comparative and general; Machine translating; Semantics; Deutsch; Wissensrepräsentation; Semantische Analyse; Semantische Relation; MILS <Programm>; Maschinelle Übersetzung
    Umfang: VIII, 303 S.
    Bemerkung(en):

    Zugl.: Berlin, Humboldt-Univ., Diss., 1995

  3. Knowledge spaces
    with ... 28 tables
    Erschienen: 1999
    Verlag:  Springer, Berlin [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
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Falmagne, Jean-Claude (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 3540645012
    RVK Klassifikation: ES 900 ; ST 300 ; CM 2500 ; ST 302 ; ST 304
    Schlagworte: Wissensrepräsentation - Raum <Mathematik> - Halbgeordnete Menge - Kombinatorik; Raum <Mathematik>; Kombinatorik; Wissensrepräsentation; Halbgeordnete Menge
    Umfang: XV, 333 S., graph. Darst.
  4. Principles of semantic networks
    explorations in the representation of knowledge
    Autor*in:
    Erschienen: 1991
    Verlag:  Morgan Kaufmann, San Mateo, Calif.

    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
    TU Berlin, 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
  5. Artificial intelligence and heuristic programming
    Autor*in:
    Erschienen: 1971
    Verlag:  Univ. Press, Edinburgh

    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
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  6. Grammatical inference
    learning automata and grammars
    Erschienen: 2010
    Verlag:  Cambridge University Press, Cambridge

    The problem of inducing, learning or inferring grammars has been studied for decades, but only in recent years has grammatical inference emerged as an independent field with connections to many scientific disciplines, including bio-informatics,... mehr

    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

     

    The problem of inducing, learning or inferring grammars has been studied for decades, but only in recent years has grammatical inference emerged as an independent field with connections to many scientific disciplines, including bio-informatics, computational linguistics and pattern recognition. This book meets the need for a comprehensive and unified summary of the basic techniques and results, suitable for researchers working in these various areas. In Part I, the objects of use for grammatical inference are studied in detail: strings and their topology, automata and grammars, whether probabilistic or not. Part II carefully explores the main questions in the field: What does learning mean? How can we associate complexity theory with learning? In Part III the author describes a number of techniques and algorithms that allow us to learn from text, from an informant, or through interaction with the environment. These concern automata, grammars, rewriting systems, pattern languages or transducers

     

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Volltext (URL des Erstveröffentlichers)
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9781139194655; 9780521763165
    Weitere Identifier:
    RVK Klassifikation: ES 965 ; ST 304
    Schlagworte: Formal languages; Logic, Symbolic and mathematical; Formale Grammatik; Inferenz <Künstliche Intelligenz>; Maschinelles Lernen
    Umfang: 1 online resource (xiv, 417 pages)
    Bemerkung(en):

    Title from publisher's bibliographic system (viewed on 01 Feb 2016)

  7. Logic for computer science
    foundations of automatic theorem proving
    Erschienen: 1987
    Verlag:  Wiley, New York ; Chichester ; Brisbane ; Toronto ; Singapore

    Technische Hochschule Brandenburg, Hochschulbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0471615463
    RVK Klassifikation: ST 130 ; ST 304 ; SK 130 ; ES 900
    Schlagworte: Mathematische Logik; Automatisches Beweisverfahren
    Umfang: XV, 511 S., graph. Darst.
  8. From information to knowledge
    conceptual and content analysis by computer
    Autor*in:
    Erschienen: 1995
    Verlag:  Intellect, Oxford

    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
    Quelle: Verbundkataloge
    Beteiligt: Nissan, Ephraim (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 1871516501
    RVK Klassifikation: ES 950 ; ST 304 ; ST 270
    Auflage/Ausgabe: 1. publ.
    Schlagworte: Begripsanalyse; Computers; Inhoudsanalyse; Lingüística matemática; Tekstanalyse; Datenverarbeitung; Content analysis (Communication); Discourse analysis; Datenverarbeitung; Automatische Sprachanalyse; Analyse; Automatische Inhaltsanalyse
    Umfang: X, 319 S., Ill., graph. Darst., Kt.
  9. Logic for computer science
    foundations of automatic theorem proving
    Erschienen: 1986
    Verlag:  Harper & Row, New York [u.a.]

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0060422254
    RVK Klassifikation: ST 304 ; ST 130 ; ES 900 ; SK 130
    Schriftenreihe: Harper & Row computer science and technology series
    Schlagworte: Mathematische Logik; Automatisches Beweisverfahren
    Umfang: XV, 511 S.
  10. NETL, a system for representing and using real-world knowledge
    Erschienen: 1979
    Verlag:  MIT Press, Cambridge, Mass. [u.a.]

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  11. Conceptual structures
    information processing in mind and machine
    Autor*in: Sowa, John F.
    Erschienen: 1984
    Verlag:  Addison-Wesley, Reading, Mass. [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
    Max-Planck-Institut für Bildungsforschung, Bibliothek und wissenschaftliche Information
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0201144727
    RVK Klassifikation: ST 304 ; ST 300 ; ES 900
    Schriftenreihe: The systems programming series
    Schlagworte: Cognición; Inteligencia artificial; Proceso mental de la información; Kognitiver Prozess; Künstliche Intelligenz; Wissensrepräsentation
    Umfang: XIII, 481 S., graph. Darst.
  12. Information aus sprachlich repräsentiertem Wissen
    Antrag zu einem neuen DFG-Schwerpunkt im Schnittbereich von Informationswissenschaft, Linguistik und Informatik
    Autor*in:
    Erschienen: 1988
    Verlag:  Univ., Informationswiss., Konstanz

    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
    Quelle: Verbundkataloge
    Beteiligt: Endres-Niggemeyer, Brigitte (Sonstige)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ES 900 ; ST 680 ; ST 306 ; ST 304 ; AN 93000
    Umfang: VII, 103 Bl., graph. Darst.
    Bemerkung(en):

    Literaturverz. Bl. 85 - 93

  13. Logic for computer science
    foundations of automatic theorem proving
    Erschienen: 1986
    Verlag:  Harper & Row, New York u.a.

    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
    TU Berlin, 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
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0060422254
    RVK Klassifikation: ST 304 ; ST 130 ; ES 900 ; SK 130
    Schriftenreihe: Harper and Row computer science and technology series. ; 5.
    Schlagworte: Logique symbolique et mathématique; Théorèmes - Démonstration automatique; Automatic theorem proving; Logic, Symbolic and mathematical; Mathematische Logik; Automatisches Beweisverfahren
    Umfang: XV, 511 S.
  14. Multimodal intelligent information presentation
    Autor*in:
    Erschienen: 2005
    Verlag:  Springer, Berlin

    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
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Stock, Oliviero (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 1402030509; 1402030495; 1402030517
    RVK Klassifikation: ES 900 ; ST 306 ; ST 304
    DDC Klassifikation: Datenverarbeitung; Informatik (004)
    Schriftenreihe: Text, speech and language technology ; 27
    Schlagworte: Informationstechnik; Sprache
    Umfang: XII, 343 S.
  15. The Language grid
    service-oriented collective intelligence for language resource interoperability
    Autor*in:
    Erschienen: 2011
    Verlag:  Springer, Heidelberg [u.a.]

    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
    Quelle: Verbundkataloge
    Beteiligt: Ishida, Toru
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9783642211775
    RVK Klassifikation: ST 304 ; ES 900
    Schriftenreihe: Cognitive technologies
    Schlagworte: Maschinelle Übersetzung; Künstliche Intelligenz; Computerlinguistik
    Umfang: IX, 306 S., Ill., graph. Darst.
  16. Multimodal intelligent information presentation
    Autor*in:
    Erschienen: 2005
    Verlag:  Springer, Dordrecht[u.a.]

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Inhaltsverzeichnis (Kostenfrei)
    Quelle: Verbundkataloge
    Beteiligt: Stock, Oliviero (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 1402030509; 1402030495
    RVK Klassifikation: ES 900 ; ST 304 ; ST 306
    Schriftenreihe: Text, speech and language technology ; 27
    Schlagworte: User interfaces (Computer systems); Human-computer interaction; Artificial intelligence; Interfaces utilisateurs (Informatique); Interaction homme-machine (Informatique); Intelligence artificielle
    Umfang: XII, 343 S, Ill., graph. Darst
    Bemerkung(en):

    Literaturangaben

  17. Introduction to machine learning
    Erschienen: [2014]; © 2014
    Verlag:  MIT Press, Cambridge, Massachusetts ; Ebook Central, London, England

    A substantially revised third edition of a comprehensive textbook that covers a broad range of topics not often included in introductory texts. Intro -- Brief Contents -- Contents -- Preface -- Notations -- 1 Introduction -- 2 Supervised Learning --... mehr

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe

     

    A substantially revised third edition of a comprehensive textbook that covers a broad range of topics not often included in introductory texts. Intro -- Brief Contents -- Contents -- Preface -- Notations -- 1 Introduction -- 2 Supervised Learning -- 3 Bayesian Decision Theory -- 4 Parametric Methods -- 5 Multivariate Methods -- 6 Dimensionality Reduction -- 7 Clustering -- 8 Nonparametric Methods -- 9 Decision Trees -- 10 Linear Discrimination -- 11 Multilayer Perceptrons -- 12 Local Models -- 13 Kernel Machines -- 14 Graphical Models -- 15 Hidden Markov Models -- 16 Bayesian Estimation -- 17 Combining Multiple Learners -- 18 Reinforcement Learning -- 19 Design and Analysis of Machine Learning Experiments -- A Probability -- Index.

     

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9780262325745
    RVK Klassifikation: ST 300 ; ST 285 ; ST 304 ; ST 278
    Auflage/Ausgabe: Third edition
    Schriftenreihe: Adaptive computation and machine learning
    Adaptive Computation and Machine Learning Ser.
    Schlagworte: Digital Humanities; Machine learning; Electronic books
    Umfang: 1 Online-Ressource (xxii, 613 Seiten)
    Bemerkung(en):

    Enthält bibliographische Nachweise und einen Index

  18. Principles of semantic networks
    explorations in the representation of knowledge
    Autor*in:
    Erschienen: 1991
    Verlag:  Kaufmann, San Mateo, Calif.

    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    12.529.60
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Ausgesondert: I.2-169
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    I.2-169 ex 2
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Sowa, John F. (Hrsg.); Borgida, Alex
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 1558600884
    RVK Klassifikation: ES 945 ; ES 900 ; ST 304
    Schriftenreihe: The Morgan Kaufmann series in representation and reasoning
    Schlagworte: Semantisches Netz; Wissensrepräsentation
    Umfang: XI, 582 S.: graph. Darst.
    Bemerkung(en):

    Literaturangaben

  19. Information aus sprachlich repräsentiertem Wissen
    Antrag zu einem neuen DFG-Schwerpunkt im Schnittbereich von Informationswissenschaft, Linguistik und Informatik
    Autor*in:
    Erschienen: 1988
    Verlag:  Univ., Informationswiss., Konstanz

    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Q 85.324.58
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Endres-Niggemeyer, Brigitte
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    RVK Klassifikation: AN 93000 ; ES 900 ; ST 304 ; ST 306 ; ST 680
    Umfang: VII, 103 Bl., graph. Darst.
    Bemerkung(en):

    Literaturverz. Bl. 85 - 93

  20. Logical foundations of artificial intelligence
    Erschienen: 1988
    Verlag:  Kaufmann, Los Altos, Calif.

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 300 G327
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    I.2-95 ex 2
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    I.2-95 ex 3
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    I.2-95 ex 5
    keine Fernleihe
    Universitätsbibliothek Kassel, Standort Holländischer Platz
    25 Asl 430/53 GEN
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    I.2 Gene
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Nilsson, Nils J.
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0934613311
    RVK Klassifikation: ES 900 ; ST 285 ; ST 300 ; ST 304
    Auflage/Ausgabe: Repr. with corr., 2. [Dr.]
    Schlagworte: Künstliche Intelligenz; Mathematische Logik
    Umfang: XVIII, 405 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 363 - 400

  21. Logical foundations of artificial intelligence
    Erschienen: 1987
    Verlag:  Kaufmann, Los Altos, Calif.

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 300 G327
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Fachbereich Mathematik
    -034-AG 1/1324
    keine Fernleihe
    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    12.110.24
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Bibliothek Sozialwissenschaften und Psychologie (BSP)
    X 4115
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Nilsson, Nils J.
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0934613311
    RVK Klassifikation: ES 900 ; ST 285 ; ST 300 ; ST 304
    Schlagworte: Künstliche Intelligenz; Mathematische Logik
    Umfang: XVIII, 405 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 363 - 400

  22. Language and representation in information retrieval
    Erschienen: 1990
    Verlag:  Elsevier, Amsterdam [u.a.]

    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    12.386.26
    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: 0444884378
    RVK Klassifikation: ES 930 ; ST 271 ; AN 95000 ; ST 270 ; ST 304
    Schlagworte: Information Retrieval
    Umfang: XIV, 335 S., graph. Darst.
  23. Logic for computer science
    foundations of automatic theorem proving
    Erschienen: 1987
    Verlag:  Harper & Row, New York [u.a.]

    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    ST 1203 GAL1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0060422254
    RVK Klassifikation: ES 900 ; SK 130 ; ST 130 ; ST 304 ; ST 601
    Auflage/Ausgabe: 2. print
    Schriftenreihe: Harper & Row computer science and technology series ; 5
    Schlagworte: Automatisches Beweisverfahren
    Umfang: XV, 511 S.
    Bemerkung(en):

    Literaturverz. S. 489 - 493

  24. The SMART retrieval system
    experiments in automatic document processing
    Autor*in:
    Erschienen: 1971
    Verlag:  Prentice-Hall, Englewood Cliffs, NJ

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 271 S57 S179
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 271 S57 S179
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    85.361.53
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Salton, Gerard (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0138145253
    RVK Klassifikation: AN 95000 ; ES 955 ; ET 820 ; QH 500 ; ST 271 ; ST 304 ; ST 515
    Schriftenreihe: Prentice-Hall series in automatic computation
    Schlagworte: Information-Retrieval-System; Information Retrieval
    Umfang: XIX, 556 S.
  25. Informations- und Kommunikationsstrukturen der Zukunft
    Bericht anläßlich eines Workshop mit Stanislaw Lem
    Autor*in:
    Erschienen: 1983
    Verlag:  Fink, München

    Deutsches Polen-Institut, Bibliothek
    D 4 Lem/I
    keine Fernleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    -003-/GC 1001 H517
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    83.039.05
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Bibliothekszentrum Geisteswissenschaften (BzG)
    S 032.170
    keine Fernleihe
    Hochschul- und Landesbibliothek Fulda, Standort Campus, Bestand Heinrich-von-Bibra-Platz
    84/951
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Gießen
    FH DidGe IAr 256
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kassel, Standort Holländischer Platz
    25 Spr CG 0136
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Hennings, Ralf-Dirk (Hrsg.); Lem, Stanisław
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3770521994
    RVK Klassifikation: AP 13950 ; GC 1001 ; MR 6600 ; MS 7850 ; ST 304
    Schlagworte: Zukunft; Kommunikationssystem; Futurologie; Informationssystem; Information; Kommunikation; Zukunft; Wissenschaft
    Weitere Schlagworte: Lem, Stanisław
    Umfang: 208 S., graph. Darst.
    Bemerkung(en):

    Literaturverz S. 197 - 199