Ergebnisse für *

Es wurden 6 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 6 von 6.

Sortieren

  1. A first Course in formal logic and its applications in computer science
    Erschienen: 1986
    Verlag:  Blackwell Scient. Publ., Oxford <<[u.a.]>>

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Rayward-Smith, Victor J. (Verfasser); Walter, C. D. (Verfasser)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0632013087
    RVK Klassifikation: SK 130 ; ST 130 ; ES 915 ; ST 120
    Auflage/Ausgabe: 1. publ.
    Schriftenreihe: Computer science texts
    Umfang: VI, 265 S., graph. Darst.
  2. A first course in formal logic and its applications in computer science
    Erschienen: 1986
    Verlag:  Blackwell Scientif. Publ., Oxford <<[u.a.]>>

    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Rayward-Smith, Victor J. (Sonstige); Walter, C. D. (Sonstige)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0632013087
    RVK Klassifikation: SK 130 ; ES 915 ; ST 120 ; ST 130
    Schriftenreihe: Computer science texts
    Umfang: VI, 265 S., graph. Darst.
  3. A first course in formal logic and its applications in computer science
    Erschienen: 1986
    Verlag:  Blackwell Scientific, Oxford [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 120 D752
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-117
    keine Fernleihe
    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

  4. A first course in formal logic and its applications in computer science
    Erschienen: 1994
    Verlag:  Waller, Henley-on-Thames

    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    QAA 206/1994 D
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Rayward-Smith, Victor J.; Walter, C. D.
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0632013087
    RVK Klassifikation: ES 915 ; SK 130 ; ST 120 ; ST 130
    Auflage/Ausgabe: Reprint.
    Schriftenreihe: Computer science texts
    Schlagworte: Logic, symbolic and mathematical
    Umfang: VI, 265 S., graph. Darst.
  5. A first course in formal logic and its applications in computer science
    Erschienen: 1986
    Verlag:  Blackwell, Oxford u.a.

    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Würzburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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.
  6. A first course in formal logic and its applications in computer science
    Erschienen: 1986
    Verlag:  Blackwell, Oxford [u.a.]

    Universitätsbibliothek Dortmund
    Sn 29376
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Duisburg-Essen, Campus Essen
    TVC1465
    Universitätsbibliothek der Fernuniversität
    TVI/DOW
    Universitätsbibliothek Kaiserslautern
    INF 330/057
    Universitätsbibliothek Kaiserslautern
    INF
    Universitätsbibliothek Paderborn
    TVC1384
    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.