Filtern nach
Letzte Suchanfragen

Ergebnisse für *

Es wurden 6 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 6 von 6.

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

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