Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
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: 1990
    Verlag:  Acad. Press, San Diego [u.a.]

    Standort:
    Ruhr-Universität Bochum, Universitätsbibliothek
    Signatur:
    TEB3862
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek der Fernuniversität
    Signatur:
    TVI/CHA
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Koblenz
    Signatur:
    IN/D 2006 175
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Hochschul- und Kreisbibliothek Bonn-Rhein-Sieg
    Signatur:
    11 = TCL1091+1
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Standort:
    Hochschul- und Kreisbibliothek Bonn-Rhein-Sieg
    Signatur:
    11 = TCL1091
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Standort:
    Hochschul- und Kreisbibliothek Bonn-Rhein-Sieg
    Signatur:
    18 = Interner Gebrauch/13
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Char-Tung Lee, Richard (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0121703509
    RVK Klassifikation: SK 130 ; SK 930 ; ES 930
    Auflage/Ausgabe: [Nachdr.]
    Schriftenreihe: Computer science classics
    Schlagworte: Nichtnumerisches Verfahren; Mathematische Logik; LISP; Nichtnumerische Datenverarbeitung; Optimierung; Beweistheorie
    Umfang: XIII, 331 S., graph. Darst.