Filtern nach
Letzte Suchanfragen

Ergebnisse für *

Es wurden 3 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 3 von 3.

Sortieren

  1. Logic programming
    Autor*in:
    Erschienen: [19]85
    Verlag:  Acad. Press, London [u.a.]

    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    ST 2500 P89 CLA1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Clark, Keith L. (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0121755207
    RVK Klassifikation: ES 900 ; ST 230
    Auflage/Ausgabe: [Nachdr.]
    Schriftenreihe: APIC studies in data processing ; 16
    Schlagworte: Programmierung; Logische Programmierung; Mathematische Logik
    Umfang: XVII, 366 S., graph. Darst.
    Bemerkung(en):

    Literaturverz. S. [341] - 361

  2. Logic programming
    Autor*in:
    Erschienen: 1985
    Verlag:  Acad. Press, London [u.a.]

    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    I.2 Logi
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Clark, Keith L. (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0121755207
    RVK Klassifikation: ES 900 ; ST 230
    Schriftenreihe: APIC studies in data processing ; 16
    Schlagworte: Programmierung; Logische Programmierung; Mathematische Logik
    Umfang: XVII, 366 S.
  3. Logic programming
    Autor*in:
    Erschienen: 1982
    Verlag:  Acad. Press, London [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 230 C593 (4)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Clark, Keith L. (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0121755207
    RVK Klassifikation: ES 900 ; ST 230
    Auflage/Ausgabe: 4. print.
    Schriftenreihe: APIC studies in data processing ; 16
    Schlagworte: Programmierung; Logische Programmierung; Mathematische Logik
    Umfang: XVII, 366 S.