Ergebnisse für *

Es wurden 11 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 11 von 11.

Sortieren

  1. Symbolic ligic and mechanical theorem proving
    Erschienen: 1987
    Verlag:  Acad. Pr., Boston [u. a.]

    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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
    Erschienen: 1973
    Verlag:  Acad. Press, New York [u.a.]

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Lee, Richard C. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0121703509
    RVK Klassifikation: ES 930 ; SK 130 ; SK 930
    Schriftenreihe: Computer science and applied mathematics
    Schlagworte: Mathematische Logik; LISP; Beweistheorie; Nichtnumerische Datenverarbeitung; Optimierung; Nichtnumerisches Verfahren
    Umfang: XIII, 331 S., graph. Darst.
  3. Symbolic logic and mechanical theorem proving
    Erschienen: 1987
    Verlag:  Academic Press, London

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 300 C456
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 300 C456
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    122 SK 130 C456
    keine Fernleihe
    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.
  4. Symbolic logic and mechanical theorem proving
    Erschienen: 1973
    Verlag:  Acad. Press, New York, N.Y. [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 300 C456
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 300 C456
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek J. C. Senckenberg, Mathematikbibliothek
    A 9217
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-36
    keine Fernleihe
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-36 ex 2
    keine Fernleihe
    Universität Gießen, Fachbibliothek Mathematik und Informatik
    Chan ...
    keine Fernleihe
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    SK 1300 CHA1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Marburg, Universitätsbibliothek
    P 75/54
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    F.4 Chan
    keine Fernleihe
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    F.4 Chan
    keine Fernleihe
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    F.4 Chan
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Lee, Richard Char-Tung
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0121703509
    RVK Klassifikation: ES 930 ; SK 130 ; ST 300
    Schriftenreihe: Computer science and applied mathematics
    Schlagworte: LISP; Logik; Automatisches Beweisverfahren; Nichtnumerische Datenverarbeitung; Mathematische Logik
    Umfang: XII, 331 S.
    Bemerkung(en):

    Literaturverz. S. 309 - 324

  5. Symbolic logic and mechanical theorem proving
    Erschienen: 1979
    Verlag:  Acad. Press, New York

    Universitätsbibliothek Eichstätt-Ingolstadt
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Lee, Richard C. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0121703509
    RVK Klassifikation: ES 930
    Auflage/Ausgabe: 3. print.
    Schriftenreihe: Computer science and applied mathematics
    Schlagworte: Beweistheorie; Mathematische Logik; Nichtnumerisches Verfahren; Optimierung; Nichtnumerische Datenverarbeitung; LISP
    Umfang: XIII,331 S.
  6. Symbolic logic and mechanical theorem proving
    Erschienen: 1973
    Verlag:  Acad. Press, New York [u.a.]

    Universitätsbibliothek Augsburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Bayreuth
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Eichstätt-Ingolstadt
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek der LMU München
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität der Bundeswehr München, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Regensburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Lee, Richard C. (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0121703509
    RVK Klassifikation: ES 930 ; SK 130 ; SK 930
    Schriftenreihe: Computer science and applied mathematics
    Schlagworte: Mathematische Logik; LISP; Beweistheorie; Nichtnumerische Datenverarbeitung; Optimierung; Nichtnumerisches Verfahren
    Umfang: XIII, 331 S., graph. Darst.
  7. Symbolic logic and mechanical theorem proving
    Erschienen: 1987
    Verlag:  Acad. Pr., New York

    Universitätsbibliothek Bielefeld
    HI973 C456
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    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.
  8. Symbolic logic and mechanical theorem proving
    Erschienen: 1973
    Verlag:  Academic Press, New York [u.a.]

    Gemeinsame Mathematische Bibliothek
    101:A 7170
    keine Fernleihe
    Universitätsbibliothek Bielefeld
    HI973 C456
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Ruhr-Universität Bochum, Fakultät für Philologie, Sprachwissenschaftliches Institut, Bibliothek
    10.1 123.1
    keine Fernleihe
    Ruhr-Universität Bochum, Verbundbibliothek IB Fachbibliothek für Geographie, Geologie, Mathematik, Psychologie
    IT 212
    Ausleihe von Bänden möglich, keine Kopien
    Universität Bonn, Institut für Philosophie, Bibliothek
    K 1580/100
    keine Fernleihe
    Universität Bonn, Fachbibliothek Mathematik
    CHA
    keine Fernleihe
    Universitätsbibliothek Duisburg-Essen, Campus Essen
    TCK1532
    Universitätsbibliothek Kaiserslautern
    Universitätsbibliothek Kaiserslautern
    Universitätsbibliothek Kaiserslautern
    LINF
    Universitätsbibliothek Kaiserslautern
    L INF 211
    Universitätsbibliothek Kaiserslautern
    INF 864/058
    Universitätsbibliothek Kaiserslautern
    INF
    Universitätsbibliothek Kaiserslautern
    MAT Chan
    Universitätsbibliothek Koblenz
    MAG 31619
    Universitäts- und Stadtbibliothek Köln, Hauptabteilung
    3C9274
    Ausleihe von Bänden möglich, keine Kopien
    Institut für Linguistik, Abt. Allgemeine Sprachwissenschaft, Abt. Historisch-Vergleichende Sprachwissenschaft, Gemeinsame Bibliothek
    409/LMP/Chang,Lee1973
    keine Fernleihe
    Universität Köln, Mathematisches Institut, Bibliothek
    501/Chang
    keine Fernleihe
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    Chan
    keine Fernleihe
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    L Chan
    keine Fernleihe
    Universitätsbibliothek Paderborn
    Universitätsbibliothek Paderborn
    TDC1104
    Universitätsbibliothek Paderborn
    TDC1104+3
    Universitätsbibliothek Siegen
    61TCL1757
    Universitätsbibliothek Trier
    f2106
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Char-Tung Lee, Richard (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0121703509
    RVK Klassifikation: SK 930 ; SK 130 ; ES 930
    Schriftenreihe: Computer science and applied mathematics
    Schlagworte: Optimierung; Nichtnumerische Datenverarbeitung; Mathematische Logik; Nichtnumerisches Verfahren; Beweistheorie; LISP
    Umfang: XIII, 331 S., graph. Darst.
  9. Symbolic logic and mechanical theorem proving
    Erschienen: 1985
    Verlag:  Academic Press, Orlando [u.a.]

    Universitäts- und Landesbibliothek, Abteilungsbibliothek Medizin, Naturwissenschaften und Landbau
    86/25513
    Ausleihe von Bänden möglich, keine Kopien
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Char-Tung Lee, Richard (Verfasser)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0121703509
    RVK Klassifikation: ES 930 ; SK 930 ; SK 130
    Auflage/Ausgabe: 6. [print.]
    Schriftenreihe: Computer science and applied mathematics
    Schlagworte: Nichtnumerisches Verfahren; LISP; Nichtnumerische Datenverarbeitung; Mathematische Logik; Optimierung; Beweistheorie
    Umfang: XIII, 331 S., graph. Darst.
  10. Symbolic logic and mechanical theorem proving
    Erschienen: 1990
    Verlag:  Acad. Press, San Diego [u.a.]

    Ruhr-Universität Bochum, Universitätsbibliothek
    TEB3862
    Ausleihe von Bänden möglich, keine Kopien
    Universitätsbibliothek der Fernuniversität
    TVI/CHA
    Universitätsbibliothek Koblenz
    IN/D 2006 175
    Hochschul- und Kreisbibliothek Bonn-Rhein-Sieg
    11 = TCL1091+1
    Ausleihe von Bänden möglich, keine Kopien
    Hochschul- und Kreisbibliothek Bonn-Rhein-Sieg
    11 = TCL1091
    Ausleihe von Bänden möglich, keine Kopien
    Hochschul- und Kreisbibliothek Bonn-Rhein-Sieg
    18 = Interner Gebrauch/13
    keine Fernleihe
    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.
  11. Symbolic logic and mechanical theorem proving
    Erschienen: [19]87
    Verlag:  Acad. Press, Boston [u.a.]

    Universitätsbibliothek Duisburg-Essen, Campus Essen
    TCK2790
    Universitätsbibliothek Duisburg-Essen, Campus Essen
    TCL2672_d
    Universitätsbibliothek der Fernuniversität
    TVI/CHA
    Universitätsbibliothek Kaiserslautern
    INF 864/058
    Universitätsbibliothek Paderborn
    TDC1104+4
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Char-Tung Lee, Richard (Verfasser)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0121703509
    RVK Klassifikation: SK 930 ; ES 930 ; SK 130
    Auflage/Ausgabe: 1. [Dr.]
    Schriftenreihe: Computer science classics
    Schlagworte: LISP; Mathematische Logik; Beweistheorie; Nichtnumerische Datenverarbeitung; Nichtnumerisches Verfahren; Optimierung
    Umfang: XIII, 331 S., graph. Darst.