Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Filtern nach
Aktive Filter
Letzte Suchanfragen

Ergebnisse für *

Es wurden 3 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 3 von 3.

Sortieren

  1. Logic for computer science
    foundations of automatic theorem proving
    Autor*in: Gallier, Jean H.
    Erschienen: 1987
    Verlag:  Harper & Row, New York [u.a.]

    Standort:
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    Signatur:
    ST 1203 GAL1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0060422254
    RVK Klassifikation: ES 900 ; SK 130 ; ST 130 ; ST 304 ; ST 601
    Auflage/Ausgabe: 2. print
    Schriftenreihe: Harper & Row computer science and technology series ; 5
    Schlagworte: Automatisches Beweisverfahren
    Umfang: XV, 511 S.
    Bemerkung(en):

    Literaturverz. S. 489 - 493
  2. Logic for computer science
    foundations of automat. theorem proving
    Autor*in: Gallier, Jean H.
    Erschienen: 1987
    Verlag:  Harper & Row, Cambridge u.a.

    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
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0060422254
    RVK Klassifikation: ST 130 ; ES 900 ; SK 130
    Auflage/Ausgabe: 2. pr.
    Schriftenreihe: Harper and Row computer science and technology series ; 5.
    Schlagworte: Mathematische Logik; Automatisches Beweisverfahren
    Umfang: XV, 511 S., Ill.
  3. Logic for computer science
    foundations of automatic theorem proving
    Autor*in: Gallier, Jean H.
    Erschienen: 1987
    Verlag:  Harper & Row, New York [u.a.]

    Standort:
    Universität der Bundeswehr München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0060422254
    RVK Klassifikation: SK 130 ; ES 900 ; ST 130 ; ST 304
    Auflage/Ausgabe: 2. printing
    Schriftenreihe: Harper & Row computer science and technology series ; 5
    Schlagworte: Mathematische Logik; Automatisches Beweisverfahren
    Umfang: XV, 511 S.