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. Hyperproof
    Autor*in: Barwise, Jon
    Erschienen: 1994
    Verlag:  CSLI, Stanford, Calif.

    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: Etchemendy, John (Verfasser); Allwein, Gerard (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 1881526119
    RVK Klassifikation: ES 900
    Schriftenreihe: CSLI lecture notes ; 42
    Schlagworte: Informatica; Macintosh-software; Wiskundige logica; Informatik; Computer science; Logic, Symbolic and mathematical; Macintosh (Computer); Hyperproof
    Umfang: XVII, 255 S., graph. Darst.
  2. Hyperproof
    Autor*in: Barwise, Jon
    Erschienen: 1994
    Verlag:  CSLI, Stanford, Calif.

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Etchemendy, John (Verfasser); Allwein, Gerard (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 1881526119
    RVK Klassifikation: ES 900
    Schriftenreihe: CSLI lecture notes ; 42
    Schlagworte: Informatica; Macintosh-software; Wiskundige logica; Informatik; Computer science; Logic, Symbolic and mathematical; Macintosh (Computer); Hyperproof
    Umfang: XVII, 255 S., graph. Darst.