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, 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.
  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:
    Universitätsbibliothek Dortmund
    Signatur:
    Sn 29376
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Duisburg-Essen, Campus Essen
    Signatur:
    TVC1465
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

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

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

    Standort:
    Universitätsbibliothek Paderborn
    Signatur:
    TVC1384
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Rayward-Smith, Victor John (Verfasser); Walter, C. D. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0632013087
    RVK Klassifikation: ST 120 ; ES 915
    Schriftenreihe: Computer science texts
    Schlagworte: Datenverarbeitung; Mathematische Logik; Informatik
    Umfang: V, 265 S, graph. Darst.