Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 4 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 4 von 4.

Sortieren

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

    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:
    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
    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
    Autor*in: Dowsing, Roy D.
    Erschienen: 1986
    Verlag:  Blackwell Scientif. Publ., Oxford <<[u.a.]>>

    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:
    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
    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
    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
  4. A first course in formal logic and its applications in computer science
    Autor*in: Dowsing, Roy D.
    Erschienen: 1994
    Verlag:  Waller, Henley-on-Thames

    Standort:
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    Signatur:
    QAA 206/1994 D
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    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.