Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 8 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 8 von 8.

Sortieren

  1. Zur Logik der Logik-Programmierung
    ein konstruktiver Ansatz
    Autor*in: Beckstein, Clemens
    Erschienen: 1988
    Verlag:  Springer, Berlin

    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:
    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:
    Stiftung Deutsches Technikmuseum Berlin, Bibliothek
    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)

    Standort:
    Verbund der Öffentlichen Bibliotheken Berlins - VÖBB
    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    ISBN: 3540507205; 0387507205
    RVK Klassifikation: ES 920 ; ST 230 ; SS 4680 ; ST 130
    Schriftenreihe: Informatik-Fachberichte ; 199 : Subreihe Künstliche Intelligenz
    Schlagworte: Logic programming; RISC; Programmierung; Logik; Logische Programmierung
    Umfang: IX, 246 Seiten
    Bemerkung(en):

    Hier auch später erschienene, unveränderte Nachdrucke

    Zugl.: Erlangen, Nürnberg, Univ., Diss., 1988
  2. 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
  3. Zur Logik der Logik-Programmierung
    ein konstruktiver Ansatz
    Autor*in: Beckstein, Clemens
    Erschienen: c 1988
    Verlag:  Springer, Berlin [u.a.]

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

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Z 92, 199
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Z 92, 199 ex 2
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    Signatur:
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek Kassel, Standort Oberzwehren
    Signatur:
    95 inf M 2.4 BEC
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Zentralbibliothek
    Signatur:
    145.560
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    Signatur:
    SS 4680 / -199
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    F.4
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    Format: Druck
    ISBN: 3540507205; 0387507205
    RVK Klassifikation: ES 920 ; SS 4680 ; ST 230
    Schriftenreihe: Informatik-Fachberichte ; 199 : Subreihe künstliche Intelligenz
    Schlagworte: Logische Programmierung
    Umfang: IX, 246 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. [221] - 234

    Zugl.:Erlangen, Nürnberg, Univ., Diss., 1988
  4. Zur Logik der Logik-Programmierung
    ein konstruktiver Ansatz
    Autor*in: Beckstein, Clemens
    Erschienen: 1988
    Verlag:  Springer, Berlin

    Standort:
    Universitätsbibliothek Augsburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Eichstätt-Ingolstadt
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Bayerische Staatsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek der LMU München
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universität der Bundeswehr München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Hochschule Nürnberg Georg Simon Ohm, Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Hochschule für angewandte Wissenschaften Würzburg-Schweinfurt, Abteilungsbibliothek Schweinfurt
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Würzburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    ISBN: 3540507205; 0387507205
    RVK Klassifikation: ES 920 ; ST 230 ; SS 4680 ; ST 130
    Schriftenreihe: Informatik-Fachberichte ; 199 : Subreihe Künstliche Intelligenz
    Schlagworte: Logic programming; RISC; Programmierung; Logik; Logische Programmierung
    Umfang: IX, 246 Seiten
    Bemerkung(en):

    Hier auch später erschienene, unveränderte Nachdrucke

    Zugl.: Erlangen, Nürnberg, Univ., Diss., 1988
  5. Zur Logik der Logik-Programmierung
    Ein konstruktiver Ansatz
    Autor*in: Beckstein, Clemens
    Erschienen: 1988
    Verlag:  Springer Berlin Heidelberg, Berlin, Heidelberg ; Springer International Publishing AG, Cham

    Zugang:

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Ebook
    Format: Online
    ISBN: 9783642744037; 3642744036; 3540507205
    Weitere Identifier:
    RVK Klassifikation: ES 920 ; SS 4680 ; ST 230
    Schriftenreihe: Informatik-Fachberichte ; 199
    Schlagworte: Logische Programmierung
    Umfang: 1 Online-Ressource (IX, 246 Seiten)
  6. Zur Logik der Logik-Programmierung
    ein konstruktiver Ansatz
    Autor*in: Beckstein, Clemens
    Erschienen: 1988
    Verlag:  Springer, Berlin

    Standort:
    Hochschule Biberach, Bibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Technische Universität Chemnitz, Universitätsbibliothek
    Signatur:
    SS 4680 199
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Clausthal
    Signatur:
    Ra 415 Bd 199
    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:
    Bibliothek für Wirschaftswissenschaften
    Signatur:
    Frei 10: S14/53
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Greifswald
    Signatur:
    660/SS 4680-199
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Greifswald
    Signatur:
    703/SQ 1225
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Greifswald
    Signatur:
    703/SQ 1048
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    ZA 41145:199
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    X/17054: 199
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    K 136808
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Universität Hamburg, Universitätsbibliothek
    Signatur:
    2474-1138
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 4607(199)
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Heidelberg, Bereichsbibliothek Mathematik und Informatik
    Signatur:
    Becks
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Ilmenau
    Signatur:
    92 A 9296
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

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

    Standort:
    Karlsruher Institut für Technologie, KIT-Bibliothek
    Signatur:
    89 A 200
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    KIT-Bibliothek, Bibliothek der Fakultät für Informatik
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    Kw 1318
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    1. Obergeschoss
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    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:
    Otto-von-Guericke-Universität, Universitätsbibliothek
    Signatur:
    1989 a 2338:2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    400 SS 4680-199
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    89 A 0226
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    Signatur:
    M/Beckstein, C
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Osnabrück
    Signatur:
    TUF / Inf 199
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Rostock
    Signatur:
    89 A 5998
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität des Saarlandes, Campusbibliothek für Informatik und Mathematik, Fachrichtung 6.2 Informatik
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Hochschule Schmalkalden, Cellarius Bibliothek
    Signatur:
    EDV 370 4429/93
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Stuttgart
    Signatur:
    3H 1819-199
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

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

    Standort:
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    Signatur:
    I.2.3
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    Signatur:
    QAA 206/1988 B
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    UB Weimar
    Signatur:
    Mag Hb 3100
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Westsächsische Hochschule Zwickau, Bibliothek
    Signatur:
    24 722
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    Format: Druck
    ISBN: 3540507205; 0387507205
    RVK Klassifikation: ES 920 ; SS 4680 ; ST 230
    Schriftenreihe: Array ; 199
    Schlagworte: Logic programming; Logic programming; Logic, symbolic and mathematical; Logische Programmierung
    Umfang: IX, 246 S, graph. Darst, 24 cm
    Bemerkung(en):

    Literaturverz. S. [221] - 234

    Zugl.: Erlangen, Nürnberg, Univ., Diss. : 1988
  7. Zur Logik der Logik-Programmierung
    ein konstruktiver Ansatz
    Autor*in: Beckstein, Clemens
    Erschienen: 1988
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    Universitätsbibliothek der RWTH Aachen
    Signatur:
    BF6502-199+1
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Standort:
    Fakultätsbibliothek Wirtschaftswissenschaften
    Signatur:
    615:012420
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Bielefeld
    Signatur:
    HI971 B397
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Bielefeld
    Signatur:
    HI971 B397
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Ruhr-Universität Bochum, Fakultät für Wirtschaftswissenschaft, Bibliothek
    Signatur:
    G 37 / 5
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Dortmund
    Signatur:
    Sn 29484
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitäts- und Landesbibliothek Düsseldorf
    Signatur:
    mati.b397
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek der Fernuniversität
    Signatur:
    TVL/BEC
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF 365/093
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Koblenz
    Signatur:
    INF 045 2328-199
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Hochschule Niederrhein, Bibliothek
    Signatur:
    TVC Beckst
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Institut für Ethik, Geschichte und Theorie der Medizin, Bibliothek
    Signatur:
    73 a B 1437
    Fernleihe:
    keine Fernleihe
    Standort:
    Institut für Wirtschaftsinformatik, Bibliothek
    Signatur:
    WI 91 199
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Paderborn
    Signatur:
    TVM2225
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Hochschul- und Kreisbibliothek Bonn-Rhein-Sieg
    Signatur:
    11 = TVD1054
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Siegen
    Signatur:
    51TVUF1111
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Hochschulbibliothek Trier
    Signatur:
    DV 31/0104
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Trier
    Signatur:
    XR/f351-199
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Wuppertal
    Signatur:
    TVU2699
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    ISBN: 3540507205; 0387507205
    RVK Klassifikation: ES 920 ; ST 230 ; SS 4680
    Schriftenreihe: Informatik-Fachberichte ; 199 : Subreihe künstliche Intelligenz
    Schlagworte: Logische Programmierung
    Umfang: IX, 246 S.
    Bemerkung(en):

    Zugl.: Erlangen, Nürnberg, Univ., Diss., 1988
  8. Deduktive Datenbanken
    eine Einführung aus der Sicht der logischen Programmierung
    Autor*in: Cremers, Armin B.
    Erschienen: 1994
    Verlag:  Vieweg, Braunschweig

    Standort:
    Universitätsbibliothek Braunschweig
    Signatur:
    2723-5612
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Bremen
    Signatur:
    02.p.3883
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Universität Chemnitz, Universitätsbibliothek
    Signatur:
    ST 270 cre
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Clausthal
    Signatur:
    2008 A 1411
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

    Standort:
    Technische Universität Bergakademie Freiberg, Bibliothek 'Georgius Agricola'
    Signatur:
    94.5484 8.
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Bibliothek der Technischen Fakultät
    Signatur:
    Frei 91: CH/2.0/68
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Greifswald
    Signatur:
    660/ST 270 C915+2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Greifswald
    Signatur:
    660/ST 270 C915
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Signatur:
    MI IN 98-182
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Signatur:
    M 03.03.02 Crem 21210
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    A 1994/13096
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    T CRE 44949
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Universität Hamburg, Universitätsbibliothek
    Signatur:
    2748-6717
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    Signatur:
    94/10191
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    T 94 B 737
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

    Standort:
    Universitätsbibliothek Ilmenau
    Signatur:
    INF ST 270 C915
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Ilmenau
    Signatur:
    INF ST 270 C915+2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Ernst-Abbe-Hochschule Jena, Wissenschaftliche Bibliothek
    Signatur:
    54.64,74-95/03376
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

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

    Standort:
    KIT-Bibliothek, Bibliothek der Fakultät für Informatik
    Signatur:
    F.Cre(10993)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    Da 9765
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    1. Obergeschoss
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    CREM R-31807
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    Signatur:
    kid 214/c72
    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:
    Duale Hochschule Baden-Württemberg Lörrach, Zentralbibliothek
    Signatur:
    ST 270
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Otto-von-Guericke-Universität, Universitätsbibliothek
    Signatur:
    1994 a 3965:1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Otto-von-Guericke-Universität, Universitätsbibliothek
    Signatur:
    1994 a 3965:2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Otto-von-Guericke-Universität, Universitätsbibliothek
    Signatur:
    1994 a 3965:3
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

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

    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    94 A 0865
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    400 ST 270 C915
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    94 A 0865
    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:
    inf 821 CE 2332
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Landesbibliothek Oldenburg
    Signatur:
    99-1369
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Osnabrück
    Signatur:
    TWY / Cre
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Osnabrück
    Signatur:
    TWY / Cre
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Signatur:
    ST 304 CRE
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Duale Hochschule Baden-Württemberg Ravensburg, Bibliothek
    Signatur:
    IPc 9
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Rostock
    Signatur:
    94 A 8827/4
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Max-Planck-Institut für Informatik, Campusbibliothek für Informatik und Mathematik
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität des Saarlandes, Wirtschaftswissenschaftliche Seminarbibliothek, Betriebswirtschaftliche Abteilung
    Signatur:
    BF-4-865 / SB
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Universität des Saarlandes, Campusbibliothek für Informatik und Mathematik, Fachrichtung 6.2 Informatik
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Hochschule Schmalkalden, Cellarius Bibliothek
    Signatur:
    EDV 340 2542/02
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Hochschule Stralsund, Hochschulbibliothek
    Signatur:
    ST 270 C915
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Stuttgart
    Signatur:
    4H 3043
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Stuttgart, Institut für Energiewirtschaft und Rationelle Energieanwendung, Bibliothek
    Signatur:
    3020 P 003
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

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

    Standort:
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    Signatur:
    I.2.3
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    Signatur:
    QAA 640/1994 Cb
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    UB Weimar
    Signatur:
    117 714
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Hochschulbibliothek Weingarten
    Signatur:
    A 3554
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Hochschule Wismar, University of Applied Sciences: Technology, Business and Design, Hochschulbibliothek
    Signatur:
    1994 A 353
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Westsächsische Hochschule Zwickau, Bibliothek
    Signatur:
    33 762
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Leibniz-Institut für Deutsche Sprache, Bibliothek
    Beteiligt: Griefahn, Ulrike; Hinze, Ralf
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3528047003
    RVK Klassifikation: ST 271 ; ST 270
    Schriftenreihe: Künstliche Intelligenz
    Schlagworte: Deductive databases; Deduktives Datenbanksystem; Logische Programmierung
    Umfang: XII, 463 S, graph. Darst, 23 cm
    Bemerkung(en):

    Literaturverz. S. [439] - 451