Letzte Suchanfragen

Ergebnisse für *

Es wurden 4 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 4 von 4.

Sortieren

  1. Logic programming
    Autor*in:
    Erschienen: 1982
    Verlag:  Acad. Pr., London (u.a.)

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Clark, K. L. (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0121755207
    RVK Klassifikation: ST 120 ; ST 230 ; ES 900
    Schriftenreihe: Automatic Programming Information Centre <Brighton>: APIC studies in data processing. ; 16.
    Schlagworte: Programacao De Computadores; Programmation logique; Software; Wiskundige logica; Logic programming; Logische Programmierung
    Umfang: XVII, 366 S.
  2. 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.
  3. Logic programming
    Autor*in:
    Erschienen: 1982
    Verlag:  Acad. Pr., London (u.a.)

    Universitätsbibliothek Augsburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    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
    Universitätsbibliothek Passau
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Clark, K. L. (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0121755207
    RVK Klassifikation: ST 120 ; ST 230 ; ES 900
    Schriftenreihe: Automatic Programming Information Centre <Brighton>: APIC studies in data processing. ; 16.
    Schlagworte: Programacao De Computadores; Programmation logique; Software; Wiskundige logica; Logic programming; Logische Programmierung
    Umfang: XVII, 366 S.
  4. Logic programming
    Autor*in:
    Erschienen: 1982
    Verlag:  Academic Press, London [u.a.]

    Universitätsbibliothek Bielefeld
    HI971 L8P9
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Dortmund
    Sn 28867
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitäts- und Landesbibliothek Düsseldorf
    sprw180.c593
    Universitätsbibliothek der Fernuniversität
    TXK/CLA
    Universitätsbibliothek Kaiserslautern
    INF 365/046
    Universitätsbibliothek Kaiserslautern
    INF
    Institut für Ethik, Geschichte und Theorie der Medizin, Bibliothek
    73 a C 339
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Clark, Keith L. (Hrsg.)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0121755207
    RVK Klassifikation: ES 900 ; ST 245
    Schriftenreihe: APIC studies in data processing ; 16
    Schlagworte: Logische Programmierung
    Umfang: XVII, 366 S.