Ergebnisse für *

Es wurden 9 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 9 von 9.

Sortieren

  1. Zur Logik der Logik-Programmierung
    ein konstruktiver Ansatz
    Erschienen: 1988
    Verlag:  Springer, Berlin

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschule für Technik und Wirtschaft Berlin, Hochschulbibliothek
    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
    Stiftung Deutsches Technikmuseum Berlin, Bibliothek
    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
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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. Zur Logik der Logik-Programmierung
    ein konstruktiver Ansatz
    Erschienen: c 1988
    Verlag:  Springer, Berlin [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 230 B397
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 230 B397
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Z 92, 199
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Z 92, 199 ex 2
    keine Fernleihe
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    keine Fernleihe
    Universitätsbibliothek Kassel, Standort Oberzwehren
    95 inf M 2.4 BEC
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Mainz, Zentralbibliothek
    145.560
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    SS 4680 / -199
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    F.4
    keine Fernleihe
    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

  3. Zur Logik der Logik-Programmierung
    ein konstruktiver Ansatz
    Erschienen: 1988
    Verlag:  Springer, Berlin

    Universitätsbibliothek Augsburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Eichstätt-Ingolstadt
    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
    Technische Hochschule Nürnberg Georg Simon Ohm, Bibliothek
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Passau
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschule für angewandte Wissenschaften Würzburg-Schweinfurt, Abteilungsbibliothek Schweinfurt
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Würzburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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

  4. Zur Logik der Logik-Programmierung
    Ein konstruktiver Ansatz
    Erschienen: 1988
    Verlag:  Springer Berlin Heidelberg, Berlin, Heidelberg ; Springer International Publishing AG, Cham

    Hessisches BibliotheksInformationsSystem HeBIS
    keine Fernleihe
    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)
  5. The journal of logic and algebraic programming
    Autor*in:
    Erschienen: 1984-2014
    Verlag:  Elsevier Science, [S.l.]

    Hochschule Aalen, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Evangelische Hochschule Berlin, Bibliothek
    eJournal
    Leibniz-Zentrum Moderner Orient, Bibliothek, Geisteswissenschaftliche Zentren Berlin e.V.
    keine Fernleihe
    Max-Planck-Institut für Bildungsforschung, Bibliothek und wissenschaftliche Information
    keine Fernleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    1.1984 - 21.1994
    Stiftung Wissenschaft und Politik (SWP), Bibliothek
    1.1984 - 21.1994,2
    keine Fernleihe
    Hochschule Biberach, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Gesundheit, Hochschulbibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Physikalisch-Technische Bundesanstalt, Bibliothek
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Braunschweig
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Braunschweig
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Universitätsbibliothek Braunschweig
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Institut für Seeverkehrswirtschaft und Logistik, ISL InfoCenter/Bibliothek
    keine Fernleihe
    Leibniz-Zentrum für Marine Tropenforschung (ZMT) GmbH, Bibliothek
    lizenziert: 47.2001,1 - 83.2014,1
    keine Fernleihe
    Leibniz-Zentrum für Marine Tropenforschung (ZMT) GmbH, Bibliothek
    lizenziert: 83.2014,2 -
    keine Fernleihe
    Technische Universität Chemnitz, Universitätsbibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Clausthal
    keine Fernleihe
    Helmholtz-Zentrum Dresden - Rossendorf e.V., Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Technik und Wirtschaft Dresden, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Landesamt für Archäologie Sachsen, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Emden/Leer, Hochschulbibliothek
    keine Fernleihe
    Fachhochschule Erfurt, Hochschulbibliothek
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachhochschule Erfurt, Hochschulbibliothek
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Fachhochschule Erfurt, Hochschulbibliothek
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    lizenziert: 1.1984,1 - 21.1994,2
    keine Fernleihe
    Hochschule Esslingen, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Regierungspräsidium Stuttgart, Landesamt für Denkmalpflege, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Zentrale Hochschulbibliothek Flensburg
    keine Fernleihe
    DIPF | Leibniz-Institut für Bildungsforschung und Bildungsinformation, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Universität Bergakademie Freiberg, Bibliothek 'Georgius Agricola'
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Pädagogischen Hochschule Freiburg/Breisgau
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Deutscher Caritasverband e.V., Bibliothek
    1.1984 - 21.1994,2
    keine Fernleihe
    Evangelische Hochschule Freiburg, Hochschulbibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Forstliche Versuchs- und Forschungsanstalt Baden-Württemberg, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Freiburg
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Freiburg
    74.2008 - 83.2014,1
    keine Fernleihe
    Hochschule Furtwangen University. Informatik, Technik, Wirtschaft, Medien. Campus Furtwangen, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Helmholtz-Zentrum hereon GmbH, Bibliothek
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Helmholtz-Zentrum hereon GmbH, Bibliothek
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Helmholtz-Zentrum hereon GmbH, Bibliothek
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Hochschule für Wirtschaft und Umwelt Nürtingen-Geislingen, Bibliothek Geislingen,
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Berufsakademie Sachsen, Staatliche Studienakademie Glauchau, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Greifswald
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Greifswald
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Universitätsbibliothek Greifswald
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Hochschule Esslingen, Standort Göppingen, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Otto-Hahn-Bibliothek des Max-Planck-Instituts für biophysikalische Chemie
    keine Fernleihe
    Burg Giebichenstein Kunsthochschule Halle, Hochschulbibliothek
    keine Fernleihe
    Deutsche Akademie der Naturforscher Leopoldina, Bibliothek
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Leibniz-Institut für Agrarentwicklung in Transformationsökonomien, Bibliothek
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    German Institute for Global and Area Studies, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    HafenCity Universität Hamburg, Bibliothek
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    HafenCity Universität Hamburg, Bibliothek
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    HafenCity Universität Hamburg, Bibliothek
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Hochschule für Angewandte Wissenschaften Hamburg, Hochschulinformations- und Bibliotheksservice (HIBS), Fachbibliothek Technik, Wirtschaft, Informatik
    keine Fernleihe
    Technische Universität Hamburg, Universitätsbibliothek
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Universität Hamburg, Universitätsbibliothek
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Technische Universität Hamburg, Universitätsbibliothek
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Zentrum für Wissensmanagement, Bibliothek Hamm
    1.1984 - 21.1994,2
    keine Fernleihe
    Bibliothek der Hochschule Hannover
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Hochschule Hannover
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Bibliothek der Hochschule Hannover
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Bibliothek im Kurt-Schwitters-Forum
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek im Kurt-Schwitters-Forum
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Bibliothek im Kurt-Schwitters-Forum
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    keine Fernleihe
    Stiftung Tierärztliche Hochschule Hannover, Bibliothek
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Stiftung Tierärztliche Hochschule Hannover, Bibliothek
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Stiftung Tierärztliche Hochschule Hannover, Bibliothek
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    lizenziert: 54.2003 - 83.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    lizenziert: 83.2014 - 85.2016
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Pädagogischen Hochschule Heidelberg
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Heidelberg
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Heidelberg
    50.2002 - 83.2014,1
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Heidenheim, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek LIV HN Sontheim
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    HAWK Hochschule für angewandte Wissenschaft und Kunst Hildesheim/Holzminden/Göttingen, Bibliothek, Elektronische Ressourcen
    keine Fernleihe
    HAWK Hochschule für angewandte Wissenschaft und Kunst Hildesheim/Holzminden/Göttingen, Bibliothek, Elektronische Ressourcen
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Stuttgart, Campus Horb, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Ilmenau
    Online-Ressource
    Ernst-Abbe-Hochschule Jena, Wissenschaftliche Bibliothek
    lizenziert: 47.2001,1 - 83.2014,1
    keine Fernleihe
    Ernst-Abbe-Hochschule Jena, Wissenschaftliche Bibliothek
    lizenziert: 47.2001,1 - 83.2014,1
    keine Fernleihe
    Max-Planck-Institut für Chemische Ökologie und Max-Planck-Institut für Biogeochemie, Wissenschaftliche Bibliothek
    keine Fernleihe
    Thüringer Universitäts- und Landesbibliothek
    lizenziert: 47.2001,1 - 83.2014,1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Thüringer Universitäts- und Landesbibliothek
    lizenziert: 83.2014,2 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Thüringer Universitäts- und Landesbibliothek
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Thüringer Universitäts- und Landesbibliothek
    lizenzfrei: 22.1995,1 - 46.2000,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Thüringer Universitäts- und Landesbibliothek
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Thüringer Universitäts- und Landesbibliothek
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Badische Landesbibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Karlsruhe (PH)
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    KIT-Bibliothek, Fachbibliothek Hochschule Karlsruhe
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Karlsruher Institut für Technologie, KIT-Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Karlsruher Institut für Technologie, KIT-Bibliothek
    82.2013 - 83.2014,1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Karlsruher Institut für Technologie, KIT-Bibliothek
    1.1984 - 21.1994
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Karlsruher Institut für Technologie, KIT-Bibliothek
    47.2001 -
    keine Fernleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    1.1984 - 46.2000,2
    keine Fernleihe
    Fachbibliothek der Dualen Hochschule Baden-Württemberg Karlsruhe (FBD)
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachhochschule Kiel, Zentralbibliothek
    lizenziert: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachhochschule Kiel, Zentralbibliothek
    lizenziert: 2017
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Kiel, Zentralbibliothek
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Kiel, Zentralbibliothek
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    HTWG Hochschule Konstanz Technik, Wirtschaft und Gestaltung, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Deutsches Zentrum für Luft- und Raumfahrt, DLR-Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Anhalt , Hochschulbibliothek
    keine Fernleihe
    Hochschule für Technik, Wirtschaft und Kultur, Hochschulbibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Leipzig
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Leipzig, Universitätsbibliothek, Bibliothek Medizin/Naturwissenschaften
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Zentrum für Wissensmanagement, Bibliothek Lippstadt
    1.1984 - 21.1994,2
    keine Fernleihe
    Evangelische Hochschule Ludwigsburg, Hochschule für Soziale Arbeit, Diakonie und Religionspädagogik, Bibliothek
    1.1984 - 21.1994,2
    keine Fernleihe
    Hochschule für öffentliche Verwaltung und Finanzen Ludwigsburg, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Pädagogische Hochschulbibliothek Ludwigsburg
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Zentrale Hochschulbibliothek Lübeck
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Zentrale Hochschulbibliothek Lübeck
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Zentrale Hochschulbibliothek Lübeck
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Hochschule Magdeburg-Stendal, Hochschulbibliothek
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Magdeburg-Stendal, Hochschulbibliothek
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Hochschule Magdeburg-Stendal, Hochschulbibliothek
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Max-Planck-Institut für Dynamik Komplexer Technischer Systeme, Bibliothek
    keine Fernleihe
    Otto-von-Guericke-Universität, Universitätsbibliothek
    lizenziert: 47.2001,1 - 57.2003,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Otto-von-Guericke-Universität, Universitätsbibliothek, Medizinische Zentralbibliothek
    lizenziert: 47.2001,1 - 57.2003,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Mannheim, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Mannheim, Hochschulbibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Mannheim
    66.2006 - 78.2009
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Mannheim
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Deutsches Literaturarchiv Marbach, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Merseburg, Bibliothek
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Merseburg, Bibliothek
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Hochschule Merseburg, Bibliothek
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Hochschule Merseburg, Bibliothek
    lizenziert: 47.2001,1 - 83.2014,1
    keine Fernleihe
    Hochschule Merseburg, Bibliothek
    lizenziert: 83.2014,2 -
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Mosbach, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Max-Planck-Institut für Sozialrecht und Sozialpolitik, Abteilung für ausländisches und internationales Sozialrecht sowie Abteilung Munich Center for the Economics of Aging (MEA), Bibliothek
    keine Fernleihe
    Hochschule Neubrandenburg, Bibliothek
    keine Fernleihe
    Max-Planck-Institut für Psycholinguistik, Bibliothek
    keine Fernleihe
    Hochschule für Wirtschaft und Umwelt Nürtingen-Geislingen, Bibliothek Nürtingen
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    22.1995 - 46.2000,2
    keine Fernleihe
    Hochschule Offenburg, University of Applied Sciences, Bibliothek Campus Offenburg
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Oldenburg, Bibliothek
    keine Fernleihe
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Elsfleth, Bibliothek
    keine Fernleihe
    Hochschule Osnabrück, Bibliothek Campus Westerberg
    keine Fernleihe
    Universitätsbibliothek Osnabrück
    keine Fernleihe
    Max-Planck-Institut für Evolutionsbiologie, Bibliothek
    keine Fernleihe
    Universität Potsdam, Universitätsbibliothek
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Potsdam, Universitätsbibliothek
    lizenzfrei: 30.1997,1 - 46.2000,2
    Universität Potsdam, Universitätsbibliothek
    lizenzfrei: 1.1984,1 - 46.2000,2
    Universität Potsdam, Universitätsbibliothek
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    Duale Hochschule Baden-Württemberg Ravensburg, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Reutlingen (Lernzentrum)
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Deutsches Historisches Institut in Rom, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Rostock
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Rostock
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Universitätsbibliothek Rostock
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Hochschule für Forstwirtschaft Rottenburg, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Technik und Wirtschaft des Saarlandes, Bibliothek / Bereich Goebenstraße
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Max-Planck-Institut für Informatik, Campusbibliothek für Informatik und Mathematik
    1.1984 - 21.1994,2
    keine Fernleihe
    Saarländische Universitäts- und Landesbibliothek
    1.1984 - 21.1994,2
    keine Fernleihe
    INM - Leibniz-Institut für Neue Materialien gGmbH, NTNM-Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Saarländische Universitäts- und Landesbibliothek
    22.1995 - 46.2000,2
    keine Fernleihe
    Saarländische Universitäts- und Landesbibliothek
    47.2001 - 83.2014,1
    keine Fernleihe
    Hochschule Schmalkalden, Cellarius Bibliothek
    keine Fernleihe
    Pädagogische Hochschule, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Albstadt-Sigmaringen, Bibliothek Sigmaringen
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Magdeburg-Stendal, Standort Stendal, Bibliothek
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Magdeburg-Stendal, Standort Stendal, Bibliothek
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    Hochschule Magdeburg-Stendal, Standort Stendal, Bibliothek
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Hochschule Stralsund, Hochschulbibliothek
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Stuttgart, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule der Medien, Bibliothek Standort Nobelstr.
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Technik Stuttgart, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Kommunikations-, Informations- und Medienzentrum der Universität Hohenheim
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Stuttgart
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Stuttgart
    66.2006 - 81.2012
    keine Fernleihe
    Württembergische Landesbibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek der Eberhard Karls Universität
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek der Eberhard Karls Universität
    22.1995 - 46.2000
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Hochschule Ulm, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Vechta
    keine Fernleihe
    UB Weimar
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    UB Weimar
    lizenzfrei: 1.1984,1 - 46.2000,2
    keine Fernleihe
    UB Weimar
    lizenzfrei: 1.1984,1 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    UB Weimar
    lizenzfrei: 47.2001,1 - [die neuesten 48 Monate nicht zugänglich]
    keine Fernleihe
    Hochschulbibliothek Weingarten
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Weingarten
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Weingarten
    47.2001 - 83.2014,1
    keine Fernleihe
    EBS Universität für Wirtschaft und Recht, Standort Wiesbaden, Fachbibliothek Rechtswissenschaften
    keine Fernleihe
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Wilhelmshaven, Bibliothek
    keine Fernleihe
    Ostfalia Hochschule für angewandte Wissenschaften, Bibliothek
    keine Fernleihe
    Westsächsische Hochschule Zwickau, Bibliothek
    1.1984 - 21.1994,2
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Deutsches Literaturarchiv Marbach, Bibliothek; Leibniz-Institut für Deutsche Sprache, Bibliothek
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Online
    RVK Klassifikation: ELIB23
    Schlagworte: Logische Programmierung; Zeitschrift; Online-Ressource; ; Programmierung; Mathematische Logik; Zeitschrift; Online-Ressource;
    Umfang: Online-Ressource
    Bemerkung(en):

    Gesehen am 11.11.14

  6. Natural language understanding and logic programming
    proceedings of the ... International Workshop on Natural Language Understanding and Logic Programming – 2, Vancouver, Canada, 17 - 19 August 1987
    Autor*in:
    Erschienen: 1988
    Verlag:  Elsevier, Amsterdam [u.a.]

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0444704086
    Übergeordneter Titel:
    RVK Klassifikation: ER 300 ; ES 900
    Schlagworte: Datenverarbeitung; Sprache; Programmierlogik; Logische Programmierung; Sprachverarbeitung; Natürliche Sprache
    Umfang: VIII, 345 S., graph. Darst.
  7. Natural language understanding and logic programming, II
    proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19, 1987
    Autor*in:
    Erschienen: 1988
    Verlag:  North-Holland, Amsterdam

    Universitätsbibliothek Bielefeld
    HI052%Y87 N2L2U
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Dahl, Veronica (Hrsg.)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0444704086
    RVK Klassifikation: ES 900 ; ER 300
    Schlagworte: Programmierlogik; Datenverarbeitung; Sprachverarbeitung; Sprache; Natürliche Sprache; Logische Programmierung
    Umfang: VIII, 345 S., graph. Darst.
  8. Zur Logik der Logik-Programmierung
    ein konstruktiver Ansatz
    Erschienen: 1988
    Verlag:  Springer, Berlin

    Hochschule Biberach, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Universität Chemnitz, Universitätsbibliothek
    SS 4680 199
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Clausthal
    Ra 415 Bd 199
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bibliothek für Wirschaftswissenschaften
    Frei 10: S14/53
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Greifswald
    660/SS 4680-199
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Greifswald
    703/SQ 1225
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Greifswald
    703/SQ 1048
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    ZA 41145:199
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    X/17054: 199
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    K 136808
    keine Fernleihe
    Technische Universität Hamburg, Universitätsbibliothek
    2474-1138
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    RN 4607(199)
    Universität Heidelberg, Bereichsbibliothek Mathematik und Informatik
    Becks
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Ilmenau
    92 A 9296
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Thüringer Universitäts- und Landesbibliothek
    94 NA 22263/1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Badische Landesbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    89 A 200
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    KIT-Bibliothek, Bibliothek der Fakultät für Informatik
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Kiel, Zentralbibliothek
    Kw 1318
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    1. Obergeschoss
    keine Fernleihe
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Leipzig
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Otto-von-Guericke-Universität, Universitätsbibliothek
    1989 a 2338:2
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Mannheim
    400 SS 4680-199
    keine Fernleihe
    Universitätsbibliothek Mannheim
    89 A 0226
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    M/Beckstein, C
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Osnabrück
    TUF / Inf 199
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Rostock
    89 A 5998
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität des Saarlandes, Campusbibliothek für Informatik und Mathematik, Fachrichtung 6.2 Informatik
    keine Fernleihe
    Hochschule Schmalkalden, Cellarius Bibliothek
    EDV 370 4429/93
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Stuttgart
    3H 1819-199
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Württembergische Landesbibliothek
    39/8209
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    I.2.3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    QAA 206/1988 B
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    keine Fernleihe
    UB Weimar
    Mag Hb 3100
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Westsächsische Hochschule Zwickau, Bibliothek
    24 722
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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

  9. Zur Logik der Logik-Programmierung
    ein konstruktiver Ansatz
    Erschienen: 1988
    Verlag:  Springer, Berlin [u.a.]

    Universitätsbibliothek der RWTH Aachen
    BF6502-199+1
    Ausleihe von Bänden möglich, keine Kopien
    Fakultätsbibliothek Wirtschaftswissenschaften
    615:012420
    Ausleihe von Bänden möglich, keine Kopien
    Universitätsbibliothek Bielefeld
    HI971 B397
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Bielefeld
    HI971 B397
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Ruhr-Universität Bochum, Fakultät für Wirtschaftswissenschaft, Bibliothek
    G 37 / 5
    keine Fernleihe
    Universitätsbibliothek Dortmund
    Sn 29484
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitäts- und Landesbibliothek Düsseldorf
    mati.b397
    Universitätsbibliothek der Fernuniversität
    TVL/BEC
    Universitätsbibliothek Kaiserslautern
    INF 365/093
    Universitätsbibliothek Kaiserslautern
    INF
    Universitätsbibliothek Koblenz
    INF 045 2328-199
    Hochschule Niederrhein, Bibliothek
    TVC Beckst
    Ausleihe von Bänden möglich, keine Kopien
    Institut für Ethik, Geschichte und Theorie der Medizin, Bibliothek
    73 a B 1437
    keine Fernleihe
    Institut für Wirtschaftsinformatik, Bibliothek
    WI 91 199
    keine Fernleihe
    Universitätsbibliothek Paderborn
    TVM2225
    Hochschul- und Kreisbibliothek Bonn-Rhein-Sieg
    11 = TVD1054
    Ausleihe von Bänden möglich, keine Kopien
    Universitätsbibliothek Siegen
    51TVUF1111
    Hochschulbibliothek Trier
    DV 31/0104
    Ausleihe von Bänden möglich, keine Kopien
    Universitätsbibliothek Trier
    XR/f351-199
    Universitätsbibliothek Wuppertal
    TVU2699
    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