Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 3 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 3 von 3.

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. Programming in Prolog
    Autor*in: Clocksin, William F.
    Erschienen: 1981
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    TU Darmstadt, Fachbereich Mathematik
    Signatur:
    -034-AG 14/0069 (Man)
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    86.929.02
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Ausgesondert: D.3-3
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Ausgesondert: D.3-3 ex 6
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Ausgesondert: D.3-3 ex 9
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Bibliothekszentrum Geisteswissenschaften (BzG)
    Signatur:
    S 060.103
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Gießen, Fachbibliothek Mathematik und Informatik
    Signatur:
    Cloc ...
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Mellish, Christopher S.
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540110461; 0387110461
    RVK Klassifikation: ES 900 ; QH 500 ; ST 260 ; ST 250
    Schlagworte: PROLOG <Programmiersprache>; PROLOG <EDV>; Programmierung <EDV>
    Umfang: XII, 279 S.
  3. Intelligenztechnologie
    Konzepte, Sprachen, praktische Anwendungsmöglichkeiten
    Autor*in:
    Erschienen: 1983
    Verlag:  Teubner, Stuttgart

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /SS 1800 B511.1983-4
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Bibliothek Sozialwissenschaften und Psychologie (BSP)
    Signatur:
    GesWiss: GM 0291
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

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

    Standort:
    Universität Kassel, Standort Holländischer Platz, Geschlossenes Magazin
    Signatur:
    Mag 1 A 3252
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Giloi, Wolfgang (Hrsg.)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3519024357
    RVK Klassifikation: ES 900 ; QH 500 ; SS 1800 ; SS 1983 ; ST 240
    Schriftenreihe: Berichte des German Chapter of the ACM ; 16
    Schlagworte: Künstliche Intelligenz; SIMULA; LISP; PROLOG <EDV>
    Umfang: 181 S., graph. Darst.
    Bemerkung(en):

    Literaturangaben