Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Filtern nach
Aktive Filter
Letzte Suchanfragen

Ergebnisse für *

Es wurden 150 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 25 von 150.

Sortieren

  1. Logics for linguistic structures
    Autor*in:
    Erschienen: 2008
    Verlag:  <<de>> Gruyter, Berlin [u.a.]

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

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

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

    Standort:
    Europa-Universität Viadrina, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Hamm, Fritz (Herausgeber)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 9783110204698
    RVK Klassifikation: ER 620 ; ES 900
    DDC Klassifikation: Mathematik (510); Sprache (400)
    Schriftenreihe: Trends in linguistics : Studies and monographs ; 201
    Schlagworte: Computational linguistics; Language and logic; Computerlinguistik; Mathematische Logik; Linguistik
    Umfang: 180 S.
  2. Theorie des wissenschaftlichen Argumentierens
    Autor*in: Gethmann, Carl Friedrich
    Erschienen: 1980
    Verlag:  Suhrkamp, Frankfurt am Main

    Standort:
    Berlin-Brandenburgische Akademie der Wissenschaften, Akademiebibliothek
    Signatur:
    1981 B 282
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Max-Planck-Institut für Wissenschaftsgeschichte, Bibliothek
    Signatur:
    Lorenz Krüger Library. See under: Theorie des wissenschaftlichen...
    Fernleihe:
    keine Fernleihe
    Standort:
    Max-Planck-Institut für Wissenschaftsgeschichte, Bibliothek
    Signatur:
    501 T3962
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Braunschweig
    Signatur:
    2568-3033
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Braunschweig
    Signatur:
    Ku 4400
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Bremen
    Signatur:
    a phi 608/277
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Max-Planck-Institut zur Erforschung von Kriminalität, Sicherheit und Recht, Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Freiburg
    Signatur:
    GE 80/5151
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Fachbereichsbibliothek Philosophie und Erziehungswissenschaft, Abteilung Philosophie
    Signatur:
    Frei 32: BF 101/9
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Greifswald
    Signatur:
    310/CC 3200 G394
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    3 : V The
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Deutsche Akademie der Naturforscher Leopoldina, Bibliothek
    Signatur:
    Bc 1 / 933. 8°
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Signatur:
    0230 Get 1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Hamburger Lehrerbibliothek, Bibliothek des Landesinstituts für Lehrerbildung und Schulentwicklung
    Signatur:
    Phi C 2/22.1
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    Signatur:
    PHL 608:U0003
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    A 1981/9855
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    B 587.1
    Fernleihe:
    keine Fernleihe
    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    RPh V B3 1980
    Fernleihe:
    keine Fernleihe
    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    E 6265
    Fernleihe:
    keine Fernleihe
    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    K X a 54
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Bibliothek der Hochschule Hannover
    Signatur:
    P 0/11
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    Signatur:
    81-3651
    Fernleihe:
    keine Fernleihe
    Standort:
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    Signatur:
    SN 1105a
    Fernleihe:
    keine Fernleihe
    Standort:
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    Signatur:
    SN 1105b
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    81-3651
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    SN 1105a
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    SN 1105b
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    BB 10 8
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Heidelberg
    Signatur:
    80 A 11036
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Seminar für Übersetzen und Dolmetschen (SUED), Bibliothek
    Signatur:
    A 17.40 / Theorie
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Universität Heidelberg, Philosophisches Seminar, Bibliothek
    Signatur:
    128 Get
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Universität Heidelberg, Psychologisches Institut, Bibliothek
    Signatur:
    B 0 434 Get
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Germanistisches Seminar der Universität, Bibliothek
    Signatur:
    Sa 787,55
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Campusbibliothek Bergheim der Universität
    Signatur:
    WS/MR 1050 G394
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Fakultätsbibliothek Theologie
    Signatur:
    S Lam 117
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Hildesheim
    Signatur:
    51594
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Thüringer Universitäts- und Landesbibliothek
    Signatur:
    92 NA 7040/1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Thüringer Universitäts- und Landesbibliothek
    Signatur:
    92 NA 7040/2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Badische Landesbibliothek
    Signatur:
    84 A 2997
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Bundesverfassungsgericht, Bibliothek
    Signatur:
    GF 888-21
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Karlsruher Institut für Technologie, KIT-Bibliothek
    Signatur:
    2004 A 14082
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    Ah 6218
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    Signatur:
    phc 270/t80b
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Leipzig
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Pädagogische Hochschulbibliothek Ludwigsburg
    Signatur:
    Phil 3g The
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    Signatur:
    Phil 110.032
    Standort:
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    Signatur:
    Phil 110.032 a
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    Signatur:
    MA 1221
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    500 CC 2600 G394
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    AJ 2105
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    Signatur:
    phi 612 m AR 0928
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Osnabrück
    Signatur:
    HLK 4192-665 1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Rostock
    Signatur:
    CC 3200 G394
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Saarländische Universitäts- und Landesbibliothek
    Signatur:
    81-3975
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität des Saarlandes, Deutsch-Europäisches Juridicum
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Universität des Saarlandes, Wirtschaftswissenschaftliche Seminarbibliothek, Betriebswirtschaftliche Abteilung
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Universität des Saarlandes, Fachrichtung Germanistik, Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Deutsche Universität für Verwaltungswissenschaften Speyer, Universitätsbibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Württembergische Landesbibliothek
    Signatur:
    30/12706
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek der Eberhard Karls Universität
    Signatur:
    20 A 14023
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Theologicum, Evangelisches u. Katholisches Seminar, Bibliothek
    Signatur:
    Yi I g 4:2
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Brechtbau-Bibliothek
    Signatur:
    GD 400.216
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Tübingen, Philosophisches Seminar, Bibliothek
    Signatur:
    D 4/1980,10
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Fachbibliothek Mathematik und Physik / Bereich Mathematik - Universität Tübingen
    Signatur:
    Geth
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Universität Tübingen, Internationales Zentrum für Ethik in den Wissenschaften, Bibliothek
    Signatur:
    phil B.1. 36
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Vechta
    Signatur:
    HMGBthe = 120021
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Herzog August Bibliothek Wolfenbüttel
    Signatur:
    F8° 1687 a:81
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Herzog August Bibliothek Wolfenbüttel; Leibniz-Institut für Deutsche Sprache, Bibliothek
    Beteiligt: Gethmann, Carl Friedrich (Hrsg.)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3518060333
    RVK Klassifikation: CC 2600 ; AK 22000 ; CC 3200 ; MR 1050
    Auflage/Ausgabe: 1. Aufl.
    Schriftenreihe: Array
    Schlagworte: Wissenschaft; Argumentation; Mathematische Logik
    Umfang: 314 S., graph. Darst.
    Bemerkung(en):

    Literaturangaben
  3. Logical aspects of computational linguistics
    second international conference, LACL '97, Nancy, France, September 22 - 24, 1997 ; selected papers
    Autor*in:
    Erschienen: 1999
    Verlag:  Springer, Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong u.a.

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

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

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

    Standort:
    Verbund der Öffentlichen Bibliotheken Berlins - VÖBB
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

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

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
  4. Logics for linguistic structures
    Autor*in:
    Erschienen: 2008
    Verlag:  Mouton de Gruyter, Berlin [u.a.]

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

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

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Volltext (URL des Erstveröffentlichers)
    Quelle: Verbundkataloge
    Beteiligt: Hamm, Fritz
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9783110211788
    Weitere Identifier:
    RVK Klassifikation: ER 620 ; ES 900
    DDC Klassifikation: Sprache (400); Mathematik (510)
    Schriftenreihe: Trends in linguistics : Studies and monographs ; 201
    Schlagworte: Mathematische Logik; Linguistik; Computerlinguistik
    Umfang: 1 Online-Ressource (180 S.)
  5. Symbolic ligic and mechanical theorem proving
    Autor*in: Chang, Chin-Liang
    Erschienen: 1987
    Verlag:  Acad. Pr., Boston [u. a.]

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Lee, Richard Char-Tung (Sonstige)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 0121703509
    RVK Klassifikation: SK 130 ; ES 930
    Schriftenreihe: Computer science classics
    Schlagworte: Nichtnumerisches Verfahren; Mathematische Logik; LISP; Nichtnumerische Datenverarbeitung; Beweistheorie; Optimierung
    Umfang: XII, 331 S., graph. Darst.
  6. Logic for computer science
    foundations of automatic theorem proving
    Autor*in: Gallier, Jean H.
    Erschienen: 1987
    Verlag:  Wiley, New York ; Chichester ; Brisbane ; Toronto ; Singapore

    Standort:
    Technische Hochschule Brandenburg, Hochschulbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: 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.
  7. Symbolic logic and mechanical theorem proving
    Autor*in: Chang, Chin-Liang
    Erschienen: 1973
    Verlag:  Acad. Press, New York [u.a.]

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

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Lee, Richard C. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0121703509
    RVK Klassifikation: ES 930 ; SK 130 ; SK 930
    Schriftenreihe: Computer science and applied mathematics
    Schlagworte: Mathematische Logik; LISP; Beweistheorie; Nichtnumerische Datenverarbeitung; Optimierung; Nichtnumerisches Verfahren
    Umfang: XIII, 331 S., graph. Darst.
  8. Grammatik und Logik
    Jahrbuch 1979
    Autor*in:
    Erschienen: 1980
    Verlag:  Schwann, Düsseldorf

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

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Ballweg, Joachim (Sonstige)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3590156503
    RVK Klassifikation: GC 1015 ; GC 6009
    Schriftenreihe: Sprache der Gegenwart ; 50
    Jahrbuch / Institut für Deutsche Sprache ; 1979
    Schlagworte: Formale Sprache; Logik; Formale Semantik; Deutsch; Mathematische Logik; Sprache; Grammatik; Linguistik
    Umfang: 384 S.
  9. Fuzzy-Logik und Blackboard-Modelle in der technischen Anwendung
    Autor*in: Fathi-Torbaghan, Madjid
    Erschienen: 1994
    Verlag:  Oldenbourg, München [u.a.]

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

    Standort:
    Hochschule für Technik und Wirtschaft Berlin, Hochschulbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

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

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Höffmann, Achim (Verfasser)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 3486226509
    RVK Klassifikation: ST 285 ; ST 301 ; ST 302 ; ST 300 ; ES 923
    Schlagworte: Künstliche Intelligenz; Mathematische Logik; Blackboard <Expertensystem>; Fuzzy-Regelung; Fuzzy-Menge
    Umfang: 255 S., graph. Darst.
  10. Logic for computer science
    foundations of automatic theorem proving
    Autor*in: Gallier, Jean H.
    Erschienen: 1986
    Verlag:  Harper & Row, New York [u.a.]

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    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.
  11. Generalized quantifiers
    linguistic and logical approaches
    Autor*in:
    Erschienen: 1987
    Verlag:  Reidel, Dordrecht u.a.

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

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

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

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

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Gärdenfors, Peter (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 1556080174; 1556080182
    RVK Klassifikation: ER 300 ; CC 4800 ; ES 965 ; ER 620
    Schriftenreihe: Studies in linguistics and philosophy ; 31
    Schlagworte: Quantifizierung <Linguistik>; Computerlinguistik; Mathematische Logik
    Umfang: VII, 307 S., graph. Darst.
  12. Logic for computer science
    foundations of automatic theorem proving
    Autor*in: Gallier, Jean H.
    Erschienen: 1986
    Verlag:  Harper & Row, New York u.a.

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

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

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

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    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.
  13. Logic, algebra and databases
    Autor*in: Gray, Peter M. D.
    Erschienen: 1984
    Verlag:  Ellis Horwood u.a., Chichester u.a.

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

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  14. Die 'Logik der Gesten' im Nibelungenlied
    Autor*in: Kuhn, Hadwig-Maria
    Erschienen: 2004
    Verlag:  GRIN Verlag GmbH, München

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Ebook
    Format: Online
    ISBN: 9783638299992
    Weitere Identifier:
    Schlagworte: Mathematische Logik; Geste
    Weitere Schlagworte: Müller, Jan-Dirk (1941-); Kriemhild; (Produktform)Electronic book text; (BISAC Subject Heading)LIT004170; logik;gesten;nibelungenlied; (VLB-WN)9563
    Umfang: Online-Ressource
    Bemerkung(en):

    Lizenzpflichtig. - Vom Verlag als Druckwerk on demand und/oder als E-Book angeboten
  15. Žar cholodnych čisl i pafos besstrastnoj logiki
    formalizacija myšlenija ot antičnych vremen do epochi kibernetiki
    Autor*in: Birjukov, Boris Vladimirovič
    Erschienen: 2009
    Verlag:  LIBROKOM, Moskva

    Standort:
    Thüringer Universitäts- und Landesbibliothek
    Signatur:
    86 A 1419
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Herzog August Bibliothek Wolfenbüttel
    Signatur:
    62.4702
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzog August Bibliothek Wolfenbüttel
    Sprache: Russisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9785397001342
    Auflage/Ausgabe: Izd. 4-e
    Schlagworte: Mathematische Logik; ; Mathematik; Philosophie;
    Umfang: 228 Seiten, Illustrationen
  16. Logic programming
    Autor*in:
    Erschienen: [19]85
    Verlag:  Acad. Press, London [u.a.]

    Standort:
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    Signatur:
    ST 2500 P89 CLA1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Clark, Keith L. (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0121755207
    RVK Klassifikation: ES 900 ; ST 230
    Auflage/Ausgabe: [Nachdr.]
    Schriftenreihe: APIC studies in data processing ; 16
    Schlagworte: Programmierung; Logische Programmierung; Mathematische Logik
    Umfang: XVII, 366 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. [341] - 361
  17. Logic programming
    Autor*in:
    Erschienen: 1985
    Verlag:  Acad. Press, London [u.a.]

    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    I.2 Logi
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Clark, Keith L. (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0121755207
    RVK Klassifikation: ES 900 ; ST 230
    Schriftenreihe: APIC studies in data processing ; 16
    Schlagworte: Programmierung; Logische Programmierung; Mathematische Logik
    Umfang: XVII, 366 S.
  18. Logical foundations of artificial intelligence
    Autor*in: Genesereth, Michael R.
    Erschienen: 1988
    Verlag:  Kaufmann, Los Altos, Calif.

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

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    I.2-95 ex 2
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    I.2-95 ex 3
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    I.2-95 ex 5
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Kassel, Standort Holländischer Platz
    Signatur:
    25 Asl 430/53 GEN
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    I.2 Gene
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    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
  19. Logical foundations of artificial intelligence
    Autor*in: Genesereth, Michael R.
    Erschienen: 1987
    Verlag:  Kaufmann, Los Altos, Calif.

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 300 G327
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Fachbereich Mathematik
    Signatur:
    -034-AG 1/1324
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

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

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    12.110.24
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Bibliothek Sozialwissenschaften und Psychologie (BSP)
    Signatur:
    X 4115
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    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
  20. Foundations of logic programming
    Autor*in: Lloyd, John W.
    Erschienen: 1984
    Verlag:  Springer, Berlin [u.a.]

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

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Ausgesondert: F.4-28
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    F.4-28 ex 4
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hochschul- und Landesbibliothek Fulda, Standort Campus
    Signatur:
    20 / ST 230 L793
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Zentralbibliothek
    Signatur:
    111.964
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    I.2. Lloy
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540132996; 0387132996
    RVK Klassifikation: ES 915 ; ST 230 ; ST 240
    Schriftenreihe: Symbolic computation
    Schlagworte: Programmierlogik; Programmierung; Programmiersprache; Semantik; Logische Programmierung; Mathematische Logik; Programmierung <EDV>; Mathematische Logik; PROLOG <EDV>
    Umfang: X, 124 S., 10 graph. Darst.
    Bemerkung(en):

    Literaturverz. S. 113 - 118
  21. Symbolic logic and mechanical theorem proving
    Autor*in: Chang, Chin-Liang
    Erschienen: 1987
    Verlag:  Academic Press, London

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

    Standort:
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    Signatur:
    122 SK 130 C456
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Lee, Richard C.-
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0121703509
    RVK Klassifikation: ES 930 ; SK 130
    Schriftenreihe: Computer science classics
    Schlagworte: LISP; Logik; Automatisches Beweisverfahren; Nichtnumerische Datenverarbeitung; Mathematische Logik
    Umfang: XII, 331 S.
  22. Formale Logik und Grammatik
    Autor*in: Heringer, Hans Jürgen
    Erschienen: 1972
    Verlag:  Niemeyer, Tübingen

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    72/2926
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ER 620 H546
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    80.332.13
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Bibliothek Kunstgeschichte/Städelbibliothek und Islamische Studien
    Signatur:
    87/ER 600 H546
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Hochschul- und Landesbibliothek Fulda, Standort Heinrich-von-Bibra-Platz
    Signatur:
    Z 1401 (6)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Translations-, Sprach- und Kulturwissenschaft
    Signatur:
    20018894
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Gießen
    Signatur:
    FH Slavistik D 1036
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Gießen
    Signatur:
    B 72/2389
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Kassel, Standort Holländischer Platz
    Signatur:
    25 Spr CH 0199
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Kassel, Standort Brüder-Grimm-Platz, Landesbibliothek und Murhardsche Bibliothek der Stadt Kassel
    Signatur:
    35 1972 A 441
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Universitätsbibliothek Kassel, Standort Brüder-Grimm-Platz, Landesbibliothek und Murhardsche Bibliothek der Stadt Kassel
    Signatur:
    35 1972 A 441a
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Zentralbibliothek
    Signatur:
    AO 1758
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Germanistik I / Kulturanthropologie und Germanistik II
    Signatur:
    D 61 - H 180
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Germanistik I / Kulturanthropologie und Germanistik II
    Signatur:
    D 61 - H 180 / 2. Ex.
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Anglistik/ Amerikanistik
    Signatur:
    XIII-1 HER-1
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Philosophicum, Standort Allgemeine und Vergleichende Sprachwissenschaft
    Signatur:
    Bi 1972/5
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    B 72/40
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    /
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    001 ER 620 H546
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Forschungszentrum Deutscher Sprachatlas, Bibliothek
    Signatur:
    706 ER 620 H546
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3484250054
    RVK Klassifikation: CC 4700 ; ER 620 ; ES 200 ; ET 100 ; GC 6009 ; ER 600
    Schriftenreihe: Germanistische Arbeitshefte ; 6
    Schlagworte: Mathematische Linguistik; Grammatik; Formale Sprache; Mathematische Logik; Logik, Mathematische
    Umfang: VI, 103 S., graph. Darst.
  23. A first course in formal logic and its applications in computer science
    Autor*in: Dowsing, Roy D.
    Erschienen: 1986
    Verlag:  Blackwell Scientific, Oxford [u.a.]

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

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    F.4-117
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Rayward-Smith, Victor J.; Walter, C. D.
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0632013087
    RVK Klassifikation: ES 915 ; ST 120
    Schriftenreihe: Computer science texts
    Schlagworte: Datenverarbeitung; Mathematische Logik
    Umfang: VI, 265 S., graph. Darst
    Bemerkung(en):

    Literaturverz. S. 259 - 260
  24. Logic programming
    Autor*in:
    Erschienen: 1982
    Verlag:  Acad. Press, London [u.a.]

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 230 C593 (4)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Clark, Keith L. (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0121755207
    RVK Klassifikation: ES 900 ; ST 230
    Auflage/Ausgabe: 4. print.
    Schriftenreihe: APIC studies in data processing ; 16
    Schlagworte: Programmierung; Logische Programmierung; Mathematische Logik
    Umfang: XVII, 366 S.
  25. The logical basis for computer programming
    2, Deductive systems
    Autor*in: Manna, Zohar
    Erschienen: 1990
    Verlag:  Addison-Wesley, Reading, Mass. [u.a.]

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

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    D.3-609 ex 2
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    D.3-609
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Waldinger, Richard
    Sprache: Englisch
    Medientyp: Mehrbändiges Werk
    Format: Druck
    Übergeordneter Titel: The logical basis for computer programming - Alle Bände anzeigen
    RVK Klassifikation: ST 120 ; ST 304 ; ES 920
    Schlagworte: Programmierlogik; Programmierung; Mathematische Logik
    Umfang: XIII, 642 S., graph. Darst.