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

Ergebnisse für *

Es wurden 4 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 4 von 4.

Sortieren

  1. Zur Logik der Logik-Programmierung
    ein konstruktiver Ansatz
    Autor*in: Beckstein, Clemens
    Erschienen: 1988
    Verlag:  Springer, Berlin

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

    Standort:
    Hochschule für Technik und Wirtschaft Berlin, Hochschulbibliothek
    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:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Stiftung Deutsches Technikmuseum Berlin, Bibliothek
    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)

    Standort:
    Verbund der Öffentlichen Bibliotheken Berlins - VÖBB
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Brandenburgische Technische Universität Cottbus - Senftenberg, 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
    Sprache: Deutsch
    Medientyp: Dissertation
    ISBN: 3540507205; 0387507205
    RVK Klassifikation: ES 920 ; ST 230 ; SS 4680 ; ST 130
    Schriftenreihe: Informatik-Fachberichte ; 199 : Subreihe Künstliche Intelligenz
    Schlagworte: Logic programming; RISC; Programmierung; Logik; Logische Programmierung
    Umfang: IX, 246 Seiten
    Bemerkung(en):

    Hier auch später erschienene, unveränderte Nachdrucke

    Zugl.: Erlangen, Nürnberg, Univ., Diss., 1988
  2. Zur Logik der Logik-Programmierung
    ein konstruktiver Ansatz
    Autor*in: Beckstein, Clemens
    Erschienen: 1988
    Verlag:  Springer, Berlin

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

    Standort:
    Universitätsbibliothek Eichstätt-Ingolstadt
    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:
    Bayerische Staatsbibliothek
    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:
    Technische Hochschule Nürnberg Georg Simon Ohm, Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

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

    Standort:
    Hochschule für angewandte Wissenschaften Würzburg-Schweinfurt, Abteilungsbibliothek Schweinfurt
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Würzburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    ISBN: 3540507205; 0387507205
    RVK Klassifikation: ES 920 ; ST 230 ; SS 4680 ; ST 130
    Schriftenreihe: Informatik-Fachberichte ; 199 : Subreihe Künstliche Intelligenz
    Schlagworte: Logic programming; RISC; Programmierung; Logik; Logische Programmierung
    Umfang: IX, 246 Seiten
    Bemerkung(en):

    Hier auch später erschienene, unveränderte Nachdrucke

    Zugl.: Erlangen, Nürnberg, Univ., Diss., 1988
  3. Digest of papers
    March 3 - 6 ; thirty-first IEEE Computer Society international conference, Cathedral Hill Hotel, San Francisco, California
    Autor*in:
    Erschienen: 1986
    Verlag:  IEEE Computer Society Press, Washington, DC

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

    Standort:
    Universitätsbibliothek Regensburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Bell, Alan G. (Sonstige)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    ISBN: 0818606924; 0818646926; 0818686928
    RVK Klassifikation: QH 500 ; SS 1986
    Körperschaften/Kongresse: COMPCON Spring, 31 (1986, San Francisco, Calif.)
    Schlagworte: CAO; FAO; MIPS; RISC; RNIS; arseniure gallium; base donnée orientée objet; compilation silicium; contrôle concurrence; droit auteur; enseignement informatique; langage 5e génération; machine base donnée; ordinateur 5E génération; ordinateur individuel; robotique; réseau micro-ordinateur; super-calculateur; test VLSI; traitement connaissance; édition électronique; Computers; Computer; Informatik; Fehlertoleranz
    Umfang: XV,518 S., Ill., graph. Darst.
    Bemerkung(en):

    Literaturangaben
  4. Zur Logik der Logik-Programmierung
    ein konstruktiver Ansatz
    Autor*in: Beckstein, Clemens
    Erschienen: 1988

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

    Standort:
    Karlsruher Institut für Technologie, KIT-Bibliothek
    Signatur:
    89 DA 1572
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Leipzig
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Stuttgart
    Signatur:
    Diss. 1989/2101
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Deutsch
    Medientyp: Dissertation
    Format: Druck
    RVK Klassifikation: SS 4680 ; ST 230 ; ES 920
    Schlagworte: RISC; Logik; Programmierung;
    Umfang: X, 246 S., graph. Darst.
    Bemerkung(en):

    Erlangen-Nürnberg, Univ., Diss., 1988