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. 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. The logical basis for computer programming
    Autor*in: Manna, Zohar
    Verlag:  Addison-Wesley, Reading, Mass. [u.a.]

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Waldinger, Richard (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    RVK Klassifikation: ST 125 ; ES 920
    Schlagworte: Computers; Logica E Semantica De Programacao; Logica Matematica; Logica; Logique symbolique et mathématique; Programacao De Computadores; Programmation (Informatique); Programmeren (computers); Logik; Computer programming; Logic, Symbolic and mathematical; Programmierung; Mathematische Logik; Logik
    Bemerkung(en):

    Einbänd. Ausg. (1993) u.d.T.: Manna, Zohar: The deductive foundataions of computer programming
  3. 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.