Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 2 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 2 von 2.

Sortieren

  1. A first course in formal logic and its applications in computer science
    Autor*in: Dowsing, Roy D.
    Erschienen: 1986
    Verlag:  Blackwell Scientific, Oxford [u.a.]

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 120 D752
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    F.4-117
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Rayward-Smith, Victor J.; Walter, C. D.
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0632013087
    RVK Klassifikation: ES 915 ; ST 120
    Schriftenreihe: Computer science texts
    Schlagworte: Datenverarbeitung; Mathematische Logik
    Umfang: VI, 265 S., graph. Darst
    Bemerkung(en):

    Literaturverz. S. 259 - 260
  2. A first course in formal logic and its applications in computer science
    Autor*in: Dowsing, R. D.
    Erschienen: 1986
    Verlag:  Blackwell, Oxford u.a.

    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 Würzburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Rayward-Smith, Victor J. (Verfasser); Walter, C. D. (Verfasser)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0632013087
    RVK Klassifikation: ES 915 ; ST 120
    Schriftenreihe: Computer science texts
    Schlagworte: Informatik; Datenverarbeitung; Mathematische Logik
    Umfang: VI, 265 S.