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. Symbolic ligic and mechanical theorem proving
    Autor*in: Chang, Chin-Liang
    Erschienen: 1987
    Verlag:  Acad. Pr., Boston [u. a.]

    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)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Lee, Richard Char-Tung (Sonstige)
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    ISBN: 0121703509
    RVK Klassifikation: SK 130 ; ES 930
    Schriftenreihe: Computer science classics
    Schlagworte: Nichtnumerisches Verfahren; Mathematische Logik; LISP; Nichtnumerische Datenverarbeitung; Beweistheorie; Optimierung
    Umfang: XII, 331 S., graph. Darst.
  2. Symbolic logic and mechanical theorem proving
    Autor*in: Chang, Chin-Liang
    Erschienen: 1987
    Verlag:  Acad. Pr., New York

    Standort:
    Universitätsbibliothek Bielefeld
    Signatur:
    HI973 C456
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0121703509
    RVK Klassifikation: SK 130 ; SK 930 ; ES 930
    Schriftenreihe: Computer science classics
    Schlagworte: LISP; Nichtnumerisches Verfahren; Nichtnumerische Datenverarbeitung; Beweistheorie; Mathematische Logik; Optimierung
    Umfang: XIII, 331 S., graph. Darst.