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

Ergebnisse für *

Es wurden 9 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 9 von 9.

Sortieren

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

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    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: [19]85
    Verlag:  Acad. Press, London [u.a.]

    Standort:
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    Signatur:
    ST 2500 P89 CLA1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    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
  3. Logic programming
    Autor*in:
    Erschienen: 1985
    Verlag:  Acad. Press, London [u.a.]

    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    I.2 Logi
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    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.
  4. Logic programming
    Autor*in:
    Erschienen: 1982
    Verlag:  Acad. Press, London [u.a.]

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 230 C593 (4)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    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.
  5. Logic programming
    Autor*in:
    Erschienen: 1982
    Verlag:  Acad. Pr., London (u.a.)

    Standort:
    Universitätsbibliothek Augsburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek der LMU München
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universität der Bundeswehr München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    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.
  6. Logic programming
    Autor*in:
    Erschienen: 1982
    Verlag:  Academic Press, London [u.a.]

    Standort:
    Universitätsbibliothek Braunschweig
    Signatur:
    2250-1752
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Universität Chemnitz, Universitätsbibliothek
    Signatur:
    ST 230 log
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Mathematisches Institut, Bibliothek / Abteilung für Mathematische Logik
    Signatur:
    Frei 3d: V/Clark
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    ZA 24005:16
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    P LOG 7646
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    Z 2549(16)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Heidelberg, Bereichsbibliothek Mathematik und Informatik
    Signatur:
    Clark
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Karlsruher Institut für Technologie, KIT-Bibliothek
    Signatur:
    82 A 2291
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    KIT-Bibliothek, Bibliothek der Fakultät für Informatik
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    P 5738-16
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    1. Obergeschoss
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    CLAR R-13761
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Osnabrück
    Signatur:
    TXA / Cla
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität des Saarlandes, Campusbibliothek für Informatik und Mathematik, Fachrichtung 6.2 Informatik
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Fachbibliothek Mathematik und Physik / Bereich Mathematik - Universität Tübingen
    Signatur:
    Clar
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Brechtbau-Bibliothek
    Signatur:
    5-GD 741.084
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Tübingen, Philosophisches Seminar, Bibliothek
    Signatur:
    D 4b/1982,11
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    Signatur:
    F.4.1
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    Signatur:
    QAA 560/1982 L
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    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
    Schriftenreihe: A.P.I.C. studies in data processing ; 16
    Schlagworte: Logic programming
    Umfang: XVII, 366 S, graph. Darst
  7. Logic programming
    Autor*in:
    Erschienen: 1982
    Verlag:  Academic Press, London [u.a.]

    Standort:
    Universitätsbibliothek Bielefeld
    Signatur:
    HI971 L8P9
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Dortmund
    Signatur:
    Sn 28867
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitäts- und Landesbibliothek Düsseldorf
    Signatur:
    sprw180.c593
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek der Fernuniversität
    Signatur:
    TXK/CLA
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF 365/046
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Institut für Ethik, Geschichte und Theorie der Medizin, Bibliothek
    Signatur:
    73 a C 339
    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)
    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.
  8. Logic programming
    Autor*in:
    Erschienen: 1983
    Verlag:  Academic Press, London [u.a.]

    Standort:
    Universitätsbibliothek Koblenz
    Signatur:
    MAG 24359
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Clark, Keith L. (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0121755207
    RVK Klassifikation: ST 230 ; ES 900 ; ST 245
    Auflage/Ausgabe: 2. print.
    Schriftenreihe: APIC studies in data processing ; 16
    Schlagworte: Logische Programmierung
    Umfang: XVII, 366 S., graph. Darst.
  9. Logic programming
    Autor*in:
    Erschienen: 1983
    Verlag:  Academic Press, London [u.a.]

    Standort:
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    Signatur:
    I Logi
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Clark, Keith L. (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0121755207
    RVK Klassifikation: ES 900 ; ST 245 ; ST 230
    Auflage/Ausgabe: 3. print.
    Schriftenreihe: APIC studies in data processing ; 16
    Schlagworte: Logische Programmierung
    Umfang: XVII, 366 S., graph. Darst.