Filtern nach
Letzte Suchanfragen

Ergebnisse für *

Es wurden 120 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 25 von 120.

Sortieren

  1. Sprache und Spracherlernung
    unter mathematisch-biologischer Perspektive
    Autor*in: Beeh, Volker
    Erschienen: 1981
    Verlag:  de Gruyter, Berlin [u.a.]

    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    95 8 93342
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    Bibliothek der Pädagogischen Hochschule Erfurt
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    Bibliothek der Pädagogischen Hochschule Erfurt
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Freiburg
    GE 81/3820
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    81 A 13149
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    K-4 1/478 a
    keine Fernleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Sem Ma B 185
    keine Fernleihe
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    ES 200 100
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    I s 15/167
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    AB 1 Bee
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    PSY 4-37
    keine Fernleihe
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    SC 1 1445
    keine Fernleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    CI/320/564
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Heidelberg
    81 A 8217
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Seminar für Übersetzen und Dolmetschen (SUED), Bibliothek
    C 16.11 / Beeh
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Germanistisches Seminar der Universität, Bibliothek
    Sa 200,17
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Thüringer Universitäts- und Landesbibliothek
    91 NA 1173/1
    keine Fernleihe
    Thüringer Universitäts- und Landesbibliothek
    91 NA 1173/2
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Thüringer Universitäts- und Landesbibliothek
    96 NA 18321/1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Badische Landesbibliothek
    81 A 13895
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    Ah 9495
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    E 02 bee 00
    keine Fernleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    B2b-Bee 81
    keine Fernleihe
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    spr 15.10/b22
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Leipzig
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    MB 256
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    MB 256
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Mannheim
    AJ 4342
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    asl 143 e AT 5035
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Osnabrück
    4174-794 0
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Potsdam, Universitätsbibliothek
    ES 200 BEE
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Saarländische Universitäts- und Landesbibliothek
    82-5220
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität des Saarlandes, Fachrichtung Germanistik, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Stuttgart, Bibliothek der Institute für Linguistik und Literaturwissenschaft
    E9--BEE36
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Württembergische Landesbibliothek
    31/9185
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek der Eberhard Karls Universität
    21 A 12108
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Brechtbau-Bibliothek
    GD 500.187
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Vechta
    155344
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Leibniz-Institut für Deutsche Sprache, Bibliothek
    Sprache: Deutsch
    Medientyp: Dissertation
    Format: Druck
    ISBN: 3110081075
    RVK Klassifikation: ES 200 ; CC 4800 ; ER 910 ; ET 180
    Schriftenreihe: Array
    Schlagworte: Mathematical linguistics; Logic, Symbolic and mathematical; Biolinguistics; Generative Transformationsgrammatik; Spracherwerb
    Umfang: VI, 191 S, graph. Darst
    Bemerkung(en):

    Zugl.: Düsseldorf, Univ., Habil.-Schr.

  2. 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)

  3. 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
  4. 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.
  5. Sätze über den Satz
    eine Theorie der Satzbedeutung und ihre Anwendung auf die Logik
    Erschienen: 1997
    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
    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
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3631320396
    RVK Klassifikation: CC 2600 ; CC 4800
    Schriftenreihe: Studia philosophica et historica ; 22
    Schlagworte: Grammatik; Grammar, Comparative and general; Language and logic; Logic, Symbolic and mathematical; Meaning (Philosophy); Satz; Aussagenlogik; Bedeutung; Umgangssprache; Deutsch
    Umfang: 211 S.
  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. Formale Logik und Grammatik
    Erschienen: 1972
    Verlag:  Niemeyer, Tübingen

    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
    Staatliches Institut für Musikforschung - Preußischer Kulturbesitz, Bibliothek
    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
    Verbund der Öffentlichen Bibliotheken Berlins - VÖBB
    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
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3484250054
    RVK Klassifikation: CC 4700 ; ER 600 ; ER 620 ; ES 200 ; GC 6009
    Schriftenreihe: Germanistische Arbeitshefte ; 6
    Schlagworte: Formele logica; Grammatica; Langages formels; Logique symbolique et mathématique; Formal languages; Logic, Symbolic and mathematical; Formale Grammatik; Mathematik; Mathematische Linguistik; Formale Sprache
    Umfang: VI, 103 S., graph. Darst.
  8. Symbolismus und symbolische Logik
    die Idee der Ars Combinatoria in der Entwicklung der modernen Dichtung
    Erschienen: 1978
    Verlag:  Fink, München

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3770515811
    RVK Klassifikation: EC 2490 ; EC 3000 ; GM 1712
    Schriftenreihe: [Humanistische Bibliothek / 1] ; 28
    Schlagworte: Combinatorial analysis; Logic, Symbolic and mathematical; Mathematics and literature; Kombinatorik; Naturwissenschaften; Imagination; Literatur; Poetik
    Umfang: 236 S., Ill.
  9. 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.
  10. 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
  11. 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.
  12. 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

  13. 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.
  14. 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.
  15. 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.

  16. 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

  17. 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.
  18. 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

  19. 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

  20. 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

  21. Segni del cosmo
    logica e geometria in Whitehead
    Autor*in: Gaeta, Luca
    Erschienen: 2002
    Verlag:  LED, Ed. Univ. di Lettere Economia Diritto, Milano

    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
    Sprache: Italienisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 8879161911
    RVK Klassifikation: CI 6801
    Schriftenreihe: Array ; 210
    Il filarete
    Schlagworte: Mathematics; Logic, Symbolic and mathematical
    Weitere Schlagworte: Whitehead, Alfred North
    Umfang: 150 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. [143] - 148

  22. 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

  23. 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
  24. 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.
  25. Sätze über den Satz
    eine Theorie der Satzbedeutung und ihre Anwendung auf die Logik
    Erschienen: 1997
    Verlag:  Lang, Frankfurt am Main [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
    Bayerische Staatsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek der LMU München
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Passau
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3631320396
    RVK Klassifikation: CC 2600 ; CC 4800
    Schriftenreihe: Studia philosophica et historica ; 22
    Schlagworte: Grammatik; Grammar, Comparative and general; Language and logic; Logic, Symbolic and mathematical; Meaning (Philosophy); Satz; Aussagenlogik; Bedeutung; Umgangssprache; Deutsch
    Umfang: 211 S.