Filtern nach
Letzte Suchanfragen

Ergebnisse für *

Es wurden 72 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 25 von 72.

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. Handbook of logic and language
    Autor*in:
    Erschienen: 1997
    Verlag:  Elsevier [u.a.], Amsterdam [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
    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
  3. Logic, language and computation
    Autor*in:
    Erschienen: 1997
    Verlag:  Kluwer, Dordrecht [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
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Akama, Seiki (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 079234376X
    RVK Klassifikation: ES 930 ; CC 5200 ; CC 2500 ; CC 4800
    Schriftenreihe: Applied logic series ; 5
    Schlagworte: Computersimulaties; Formele semantiek; Logica; Logique symbolique et mathématique; Traitement automatique des langues naturelles; Logik; Logic, Symbolic and mathematical; Natural language processing (Computer science); Natürliche Sprache; Datenverarbeitung; Logik
    Umfang: 251 S., graph. Darst.
  4. 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)

  5. 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.
  6. Logic, algebra and databases
    Erschienen: 1984
    Verlag:  Ellis Horwood u.a., Chichester u.a.

    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
  7. Grammatical inference
    learning automata and grammars
    Erschienen: 2010
    Verlag:  Cambridge Univ. Pr., Cambridge [u.a.]

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 9780521763165
    RVK Klassifikation: ES 965
    Auflage/Ausgabe: 1. publ.
    Schlagworte: Formal languages; Logic, Symbolic and mathematical; Formal languages; Logic, Symbolic and mathematical; Inferenz <Künstliche Intelligenz>; Maschinelles Lernen; Formale Grammatik
    Umfang: XIII, 416 S., graph. Darst.
  8. Mono-perspective views of multi-perspectivity
    Information systems modeling and "The blind men and the elephant"
    Erschienen: 2006
    Verlag:  Växjö Univ. Press, Växjö

    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
    Europa-Universität Viadrina, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Holl, Alfred (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 917636500X
    RVK Klassifikation: ST 515 ; EC 7260 ; ST 270
    Schriftenreihe: Acta Wexionensia ; 87 : Information systems
    Schlagworte: Informatiesystemen; Waarneming; Datenverarbeitung; Elephants; Logic, Symbolic and mathematical; System design; Informationssystem; Modellierung
    Weitere Schlagworte: Saxe, John Godfrey (02.06.1816-31.03.1887): The blind men and the elephant
    Umfang: 88 S.
    Bemerkung(en):

    Literaturverz. S. 83 - 86

  9. Logic, algebra and databases
    Erschienen: 1984
    Verlag:  Horwood, Chichester [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: 0853127093; 0853128030; 0470201037
    RVK Klassifikation: ES 920 ; ST 271
    Auflage/Ausgabe: 1. publ.
    Schriftenreihe: Ellis Horwood series in computers and their applications ; 29
    Schlagworte: Algèbre; Bases de données - Gestion; Logique symbolique et mathématique; Programmation (Informatique); Prolog (Langage de programmation); Algebra; Computer programming; Database management; Logic, Symbolic and mathematical; Prolog (Computer program language); Information Retrieval; Programmiersprache; Datenbank
    Umfang: 294 S.
  10. Hyperproof
    Autor*in: Barwise, Jon
    Erschienen: 1994
    Verlag:  CSLI, Stanford, Calif.

    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
    Quelle: Verbundkataloge
    Beteiligt: Etchemendy, John (Verfasser); Allwein, Gerard (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 1881526119
    RVK Klassifikation: ES 900
    Schriftenreihe: CSLI lecture notes ; 42
    Schlagworte: Informatica; Macintosh-software; Wiskundige logica; Informatik; Computer science; Logic, Symbolic and mathematical; Macintosh (Computer); Hyperproof
    Umfang: XVII, 255 S., graph. Darst.
  11. Reading Frege's Grundgesetze
    Erschienen: 2012
    Verlag:  Clarendon Press, Oxford

    Gottlob Frege's 'Grundgesetze der Arithmetik', or 'Basic Laws of Arithmetic', was intended to be his magnum opus, the book in which he would finally establish his logicist philosophy of arithmetic. But because of the disaster of Russell's "Paradox",... mehr

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    1 A 946550
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Greifswald
    310/CG 3395 H448
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    4 pu 262
    keine Fernleihe
    Universitätsbibliothek Heidelberg
    2015 A 11111
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Heidelberg, Philosophisches Seminar, Bibliothek
    B 1730/66
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Thüringer Universitäts- und Landesbibliothek
    PHI:HM:900:F858:4:2012
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    M/Heck, R
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität des Saarlandes, Fachrichtung Philosophie, Bibliothek
    MOD/FRE 2012 HEC 2. Ex.
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    F.4.1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Klassik Stiftung Weimar / Herzogin Anna Amalia Bibliothek
    CG 3395 H448
    uneingeschränkte Fernleihe, Kopie und Ausleihe

     

    Gottlob Frege's 'Grundgesetze der Arithmetik', or 'Basic Laws of Arithmetic', was intended to be his magnum opus, the book in which he would finally establish his logicist philosophy of arithmetic. But because of the disaster of Russell's "Paradox", which undermined Frege's proofs, the more mathematical parts of the book have rarely been read. Richard G. Heck, Jr., aims to change that, and establish it as a neglected masterpiece that must be placed at the center of Frege's philosophy. Part I of 'Reading Frege's Grundgesetze' develops an interpretation of the philosophy of logic that informs Grundgesetze, paying especially close attention to the difficult sections of Frege's book in which he discusses his notorious 'Basic Law V' and attempts to secure its status as a law of logic. Part II examines the mathematical basis of Frege's logicism, explaining and exploring Frege's formal arguments

     

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzogin Anna Amalia Bibliothek
    Beteiligt: Frege, Gottlob
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0199233705; 9780199233700; 9780198744375
    RVK Klassifikation: CG 3395 ; CG 3397
    Auflage/Ausgabe: 1. ed.
    Schlagworte: Arithmetic; Logic, Symbolic and mathematical; Frege, Gottlob, 1848-1925; Arithmetic; Logic, Symbolic and mathematical
    Weitere Schlagworte: Frege, Gottlob (1848-1925): Grundgesetze der Arithmetik
    Umfang: XVIII, 296 S., graph. Darst., 24 cm
    Bemerkung(en):

    Includes bibliographical references (p. [286]-294) and index. - Hier auch später erschienene, unveränderte Nachdrucke

    The logic behind Frege's logicismThe mathematics behind Frege's logicism.

  12. Frege's theorem
    Erschienen: 2011
    Verlag:  Clarendon Press, Oxford [u.a.]

    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    M 2011/1700
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    A 2012/3397
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Heidelberg
    2013 A 69
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Thüringer Universitäts- und Landesbibliothek
    PHI:HM:900:F858:4:2011
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    Bs 6790
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    M/Heck, R
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität des Saarlandes, Fachrichtung Philosophie, Bibliothek
    MOD/FRE 2011 HEC
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    F.4.1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Klassik Stiftung Weimar / Herzogin Anna Amalia Bibliothek
    CG 3397 H448
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzogin Anna Amalia Bibliothek
    Beteiligt: Frege, Gottlob
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0199695644; 9780199695645
    Weitere Identifier:
    9780199695645
    RVK Klassifikation: CG 3397
    Schlagworte: Arithmetic; Logic, Symbolic and mathematical
    Weitere Schlagworte: Frege, Gottlob (1848-1925)
    Umfang: XIV, 307 S., 24 cm
    Bemerkung(en):

    Literaturverz. S. 297 - 305

  13. Frege's notations
    what they are and how they mean
    Erschienen: 2012
    Verlag:  Palgrave Macmillan, Basingstoke [u.a.]

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    1 A 849795
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Heidelberg
    2012 A 5461
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Thüringer Universitäts- und Landesbibliothek
    PHI:HM:900:F858:4:2012
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Leipzig
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Klassik Stiftung Weimar / Herzogin Anna Amalia Bibliothek
    CG 3397 R969
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Herzogin Anna Amalia Bibliothek
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9780230247741; 0230247741
    Weitere Identifier:
    9780230247741
    RVK Klassifikation: CC 4900 ; CG 3397
    Auflage/Ausgabe: 1. publ.
    Schriftenreihe: History of analytic philosophy
    Schlagworte: Mathematical notation; Logic, Symbolic and mathematical; Proof theory
    Weitere Schlagworte: Frege, Gottlob (1848-1925)
    Umfang: XIV, 194 S.
  14. Grammatical inference
    learning automata and grammars
    Erschienen: 2010
    Verlag:  Cambridge University Press, Cambridge

    The first book to present the basic techniques and main results of this expanding field of research mehr

    Hochschulbibliothek Friedensau
    Online-Ressource
    keine Fernleihe
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    keine Fernleihe

     

    The first book to present the basic techniques and main results of this expanding field of research

     

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Volltext (Connect to MyiLibrary resource)
    Volltext (Lizenzpflichtig)
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9780511723018; 9781283015936; 9780511713705
    RVK Klassifikation: ES 965
    Schlagworte: Formal languages; Logic, Symbolic and mathematical; Automation; Linguistics; Learning; Programming Languages; Language; Algorithms; Formal languages..; Logic, Symbolic and mathematical; Electronic books
    Umfang: Online Ressource (XIV, 417 S.)
    Bemerkung(en):

    Includes bibliographical references and index

    pt. 1. The tools -- pt. 2. What does learning a language mean? -- pt. 3. Learning algorithms and techniques.

    Electronic reproduction; Available via World Wide Web

  15. The young mathematician's logic, upon the plan of dean Aldrich's celebrated aristotelic logic, and serving to explain the same
    To which is annexed, critical remarks upon grammar in general. By the author of Education of children and young students in all its branches
    Erschienen: M.DCC.LX. [1760]
    Verlag:  Printed for J. Waugh, at the Turk's-head in Lombard-Street, and W. Fenner, at the Angel and Bible in Pater-noster-row, London

    Max-Planck-Institut für Bildungsforschung, Bibliothek und wissenschaftliche Information
    keine Fernleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    keine Fernleihe
    Universitätsbibliothek Braunschweig
    keine Fernleihe
    Staats- und Universitätsbibliothek Bremen
    keine Fernleihe
    Universitätsbibliothek Clausthal
    keine Fernleihe
    Hochschule Emden/Leer, Hochschulbibliothek
    keine Fernleihe
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    keine Fernleihe
    Technische Universität Bergakademie Freiberg, Bibliothek 'Georgius Agricola'
    keine Fernleihe
    Bibliothek der Pädagogischen Hochschule Freiburg/Breisgau
    keine Fernleihe
    Universitätsbibliothek Freiburg
    keine Fernleihe
    Universitätsbibliothek Greifswald
    keine Fernleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    keine Fernleihe
    Deutsche Akademie der Naturforscher Leopoldina, Bibliothek
    ebook (Nationallizenz)
    keine Fernleihe
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    ebook
    keine Fernleihe
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    keine Fernleihe
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    keine Fernleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    keine Fernleihe
    Thüringer Universitäts- und Landesbibliothek
    keine Fernleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    keine Fernleihe
    Universitätsbibliothek Leipzig
    keine Fernleihe
    Otto-von-Guericke-Universität, Universitätsbibliothek
    ebook ecco
    keine Fernleihe
    Universitätsbibliothek Osnabrück
    keine Fernleihe
    Universität Potsdam, Universitätsbibliothek
    keine Fernleihe
    Universitätsbibliothek Rostock
    keine Fernleihe
    Universitätsbibliothek der Eberhard Karls Universität
    keine Fernleihe
    Klassik Stiftung Weimar / Herzogin Anna Amalia Bibliothek
    keine Fernleihe
    UB Weimar
    keine Fernleihe
    Herzog August Bibliothek Wolfenbüttel
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Volltext (Array)
    Quelle: Herzog August Bibliothek Wolfenbüttel; Herzogin Anna Amalia Bibliothek
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Online
    Schlagworte: Logic, Symbolic and mathematical; Logic, Symbolic and mathematical
    Umfang: Online-Ressource (32p), 8°
    Bemerkung(en):

    Alston, vii 247

    Attributed to John Williams

    English Short Title Catalog, T195632

    Reproduction of original from Bodleian Library (Oxford)

    With an errata slip pasted to the verso of the titlepage

    Electronic reproduction; Available via the World Wide Web

  16. Alfred Tarski
    life and logic
    Erschienen: 2004
    Verlag:  Cambridge University Press, New York

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    1 A 564145
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Bremen
    a mat 009 tar/206
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    CI 7661 F295
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    U 110 S 002
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    G FEF 35364
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    4 ro 200
    keine Fernleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    U 07 B 1359
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    Bd 3193
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    FEFE M-28176
    keine Fernleihe
    Hochschule Merseburg, Bibliothek
    2006:4842
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    mat 009 DD 3574,2012
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Potsdam, Universitätsbibliothek
    SG 330 FEF
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Herzog August Bibliothek Wolfenbüttel
    55.974
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzog August Bibliothek Wolfenbüttel
    Beteiligt: Feferman, Solomon (VerfasserIn)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0521802407
    Weitere Identifier:
    2004045748
    RVK Klassifikation: CI 7661
    Schlagworte: Logic, Symbolic and mathematical; Logicians
    Weitere Schlagworte: Tarski, Alfred
    Umfang: xi, 425 Seiten, Illustrationen
    Bemerkung(en):

    Literaturverzeichnis: Seiten 409-416

    Hier auch später erschienene, unveränderte Nachdrucke

  17. The logical basis for computer programming
    Autor*in: Manna, Zohar
    Verlag:  Addison-Wesley, Reading, Mass. [u.a.]

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Waldinger, Richard (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ST 125 ; ES 920
    Schlagworte: Computers; Logica E Semantica De Programacao; Logica Matematica; Logica; Logique symbolique et mathématique; Programacao De Computadores; Programmation (Informatique); Programmeren (computers); Logik; Computer programming; Logic, Symbolic and mathematical; Programmierung; Mathematische Logik; Logik
    Bemerkung(en):

    Einbänd. Ausg. (1993) u.d.T.: Manna, Zohar: The deductive foundataions of computer programming

  18. Handbook of logic and language
    Autor*in:
    Erschienen: 1997
    Verlag:  Elsevier [u.a.], Amsterdam [u.a.]

    Universitätsbibliothek Augsburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Bamberg
    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
    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
  19. Logic, language and computation
    Autor*in:
    Erschienen: 1997
    Verlag:  Kluwer, Dordrecht [u.a.]

    Universitätsbibliothek Bayreuth
    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 Passau
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Akama, Seiki (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 079234376X
    RVK Klassifikation: ES 930 ; CC 5200 ; CC 2500 ; CC 4800
    Schriftenreihe: Applied logic series ; 5
    Schlagworte: Computersimulaties; Formele semantiek; Logica; Logique symbolique et mathématique; Traitement automatique des langues naturelles; Logik; Logic, Symbolic and mathematical; Natural language processing (Computer science); Natürliche Sprache; Datenverarbeitung; Logik
    Umfang: 251 S., graph. Darst.
  20. 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 Potsdamer Straße
    keine Fernleihe
    Staats- und Universitätsbibliothek Bremen
    keine Fernleihe
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    keine Fernleihe
    Technische Universität Hamburg, Universitätsbibliothek
    keine Fernleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    keine Fernleihe
    Universitätsbibliothek Rostock
    keine Fernleihe

     

    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)

  21. Quantification
    transcending beyond Frege's boundaries ; a case study in transcendental-metaphysical logic
    Erschienen: 2012
    Verlag:  Brill, Leiden

    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    CG 3397 M717
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Thüringer Universitäts- und Landesbibliothek
    PHI:HK:900:K16:435:2012
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Klassik Stiftung Weimar / Herzogin Anna Amalia Bibliothek
    CG 3397 M717
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Herzog August Bibliothek Wolfenbüttel
    62.4682
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzog August Bibliothek Wolfenbüttel; Herzogin Anna Amalia Bibliothek
    Beteiligt: Frege, Gottlob; Kant, Immanuel
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9004222693; 9789004222694
    RVK Klassifikation: CC 2500
    Schriftenreihe: Critical studies in German idealism ; 5
    Schlagworte: Logic, Symbolic and mathematical
    Weitere Schlagworte: Frege, Gottlob (1848-1925); Kant, Immanuel (1724-1804)
    Umfang: XVIII, 231 S., graph. Darst., 25 cm
    Bemerkung(en):

    Includes bibliographical references and index

  22. Mathematical logic
    foundations for information science
    Autor*in: Li, Wei
    Erschienen: 2014
    Verlag:  Birkhauser, Basel

    Staats- und Universitätsbibliothek Bremen
    a mat 010/735(2)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    RN 9945(25),2
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Heidelberg
    LN-U1-15644
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    Bk 4794 2.Aufl.
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    M/Li, W
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Württembergische Landesbibliothek
    64/22561
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    F.4.1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    keine Fernleihe
    Herzog August Bibliothek Wolfenbüttel
    70.3540
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzog August Bibliothek Wolfenbüttel
    Beteiligt: Li, Wei
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3034808615; 9783034808613
    Weitere Identifier:
    9783034808613
    RVK Klassifikation: SK 130 ; ST 125
    Auflage/Ausgabe: 2., rev. ed.
    Schriftenreihe: Progress in computer science and applied logic ; 25
    Schlagworte: Logic, Symbolic and mathematical; Logic, Symbolic and mathematical
    Umfang: XIV, 301 S., graph. Darst., 242 mm
    Bemerkung(en):

    Engl. version of first Chinese edition, Beijing 2007 (ISBN 978-7-03020096-9). - Literaturverz. S. 293 - 295

    Author: Wei Li (State Key Laboratory of Software Development Environment, School of Computer Science and Engineering, Beihang University, Beijing, China)

  23. Grammatical inference
    learning automata and grammars
    Erschienen: 2014
    Verlag:  Cambridge University Press, Cambridge

    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9781139194655
    RVK Klassifikation: ES 965 ; ST 304
    Auflage/Ausgabe: 1. publ.
    Schlagworte: Formal languages; Logic, Symbolic and mathematical
    Umfang: 1 Online-Ressource (XIV, 417 Seiten), Ill., graph. Darst., 25 cm
  24. Grammatical inference
    learning automata and grammars
    Erschienen: 2010
    Verlag:  Cambridge University Press, Cambridge, UK

    Karlsruher Institut für Technologie, KIT-Bibliothek
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9781283015936
    RVK Klassifikation: ES 965
    Auflage/Ausgabe: Online-Ausg.
    Schlagworte: Formal languages; Logic, Symbolic and mathematical
    Umfang: Online-Ressource (1 online resource (xiv, 417 p.)), ill.
    Bemerkung(en):

    Includes bibliographical references (p. 394-413) and index. - Description based on print version record

  25. Selected logic papers
    Autor*in: Quine, W. V.
    Erschienen: 1995
    Verlag:  Harvard University Press, Cambridge, Mass. [u.a.]

    Universitätsbibliothek Braunschweig
    IV-1908-210
    keine Fernleihe
    Staats- und Universitätsbibliothek Bremen
    a mat 009 qin/954
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    1997 8 040343
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Freiburg
    GE 95/12200
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    97 A 4114
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    A 7700/356
    keine Fernleihe
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    R HS Qui
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    T 95 B 3329
    Universitätsbibliothek Heidelberg
    95 A 12497
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Heidelberg, Philosophisches Seminar, Bibliothek
    B 2172,8a
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Juristischen Fakultät
    JU/PI 2760 Q7
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Ilmenau
    MAT 973
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    As 8647
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    pht 343:b/t95
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Leipzig
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Mannheim
    95 A 8675
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität des Saarlandes, Campusbibliothek für Informatik und Mathematik, Fachrichtung 6.2 Informatik
    keine Fernleihe
    Herzog August Bibliothek Wolfenbüttel
    46.1322
    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: 0674798368; 0674798376
    RVK Klassifikation: CI 6552 ; CI 6554 ; PI 2760 ; SK 130
    Auflage/Ausgabe: Enlarged ed.
    Schlagworte: Logic, Symbolic and mathematical; Philosophy
    Umfang: XII, 307 S
    Bemerkung(en):

    Literaturverz. S. [293] - 299