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

Ergebnisse für *

Es wurden 1 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 1 von 1.

Sortieren

  1. Symbolic logic and mechanical theorem proving
    Autor*in: Chang, Chin-Liang
    Erschienen: 1987
    Verlag:  Academic Press, London

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 300 C456
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /ST 300 C456
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    Signatur:
    122 SK 130 C456
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Lee, Richard C.-
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0121703509
    RVK Klassifikation: ES 930 ; SK 130
    Schriftenreihe: Computer science classics
    Schlagworte: LISP; Logik; Automatisches Beweisverfahren; Nichtnumerische Datenverarbeitung; Mathematische Logik
    Umfang: XII, 331 S.