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

Ergebnisse für *

Es wurden 2 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 2 von 2.

Sortieren

  1. 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
  2. Foundations of logic programming
    Autor*in: Lloyd, John W.
    Erschienen: 1984
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    Universitätsbibliothek der RWTH Aachen
    Signatur:
    BM572
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universität Bonn, Institut für Philosophie, Bibliothek
    Signatur:
    K 5750/300
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitäts- und Landesbibliothek, Abteilungsbibliothek Medizin, Naturwissenschaften und Landbau
    Signatur:
    87/25449
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Dortmund
    Signatur:
    LH0155/356
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    LINF
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    L INF 621
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Regionales Rechenzentrum der Universität zu Köln, Bibliothek
    Signatur:
    006/005.115/LLoy05
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Standort:
    Universitäts- und Stadtbibliothek Köln, Hauptabteilung
    Signatur:
    9H3706
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    Signatur:
    I Lloy
    Fernleihe:
    keine Fernleihe
    Standort:
    Institut für Ethik, Geschichte und Theorie der Medizin, Bibliothek
    Signatur:
    73 a L 619
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

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

    Standort:
    Universitätsbibliothek Trier
    Signatur:
    f2229
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 3540132996; 0387132996
    RVK Klassifikation: ST 245 ; ST 230 ; ES 915
    Schriftenreihe: Symbolic computation
    Schlagworte: Logische Programmierung; Programmiersprache; Programmierlogik; Mathematische Logik; Programmierung; Semantik
    Umfang: X, 124 S., 10 graph. Darst.