Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 11 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 11 von 11.

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: 1973
    Verlag:  Acad. Press, New York [u.a.]

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    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
    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.
  4. Symbolic logic and mechanical theorem proving
    Autor*in: Chang, Chin-Liang
    Erschienen: 1973
    Verlag:  Acad. Press, New York, N.Y. [u.a.]

    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ätsbibliothek J. C. Senckenberg, Mathematikbibliothek
    Signatur:
    A 9217
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    F.4-36
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    F.4-36 ex 2
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Gießen, Fachbibliothek Mathematik und Informatik
    Signatur:
    Chan ...
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    Signatur:
    SK 1300 CHA1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universität Marburg, Universitätsbibliothek
    Signatur:
    P 75/54
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    F.4 Chan
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    F.4 Chan
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    Signatur:
    F.4 Chan
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    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
    Autor*in: Chang, Chin-Liang
    Erschienen: 1979
    Verlag:  Acad. Press, New York

    Standort:
    Universitätsbibliothek Eichstätt-Ingolstadt
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    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
    Autor*in: Chang, Chin-Liang
    Erschienen: 1973
    Verlag:  Acad. Press, New York [u.a.]

    Standort:
    Universitätsbibliothek Augsburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Bayreuth
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Eichstätt-Ingolstadt
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek der LMU München
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universität der Bundeswehr München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Regensburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    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
    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.
  8. Symbolic logic and mechanical theorem proving
    Autor*in: Chang, Chin-Liang
    Erschienen: 1973
    Verlag:  Academic Press, New York [u.a.]

    Standort:
    Gemeinsame Mathematische Bibliothek
    Signatur:
    101:A 7170
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Bielefeld
    Signatur:
    HI973 C456
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Ruhr-Universität Bochum, Fakultät für Philologie, Sprachwissenschaftliches Institut, Bibliothek
    Signatur:
    10.1 123.1
    Fernleihe:
    keine Fernleihe
    Standort:
    Ruhr-Universität Bochum, Verbundbibliothek IB Fachbibliothek für Geographie, Geologie, Mathematik, Psychologie
    Signatur:
    IT 212
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universität Bonn, Institut für Philosophie, Bibliothek
    Signatur:
    K 1580/100
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Bonn, Fachbibliothek Mathematik
    Signatur:
    CHA
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Duisburg-Essen, Campus Essen
    Signatur:
    TCK1532
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Kaiserslautern
    Standort:
    Universitätsbibliothek Kaiserslautern
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    LINF
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    L INF 211
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF 864/058
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF
    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    MAT Chan
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Koblenz
    Signatur:
    MAG 31619
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitäts- und Stadtbibliothek Köln, Hauptabteilung
    Signatur:
    3C9274
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Standort:
    Institut für Linguistik, Abt. Allgemeine Sprachwissenschaft, Abt. Historisch-Vergleichende Sprachwissenschaft, Gemeinsame Bibliothek
    Signatur:
    409/LMP/Chang,Lee1973
    Fernleihe:
    keine Fernleihe
    Standort:
    Universität Köln, Mathematisches Institut, Bibliothek
    Signatur:
    501/Chang
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    Signatur:
    Chan
    Fernleihe:
    keine Fernleihe
    Standort:
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    Signatur:
    L Chan
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Paderborn
    Standort:
    Universitätsbibliothek Paderborn
    Signatur:
    TDC1104
    Standort:
    Universitätsbibliothek Paderborn
    Signatur:
    TDC1104+3
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Siegen
    Signatur:
    61TCL1757
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Trier
    Signatur:
    f2106
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    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
    Autor*in: Chang, Chin-Liang
    Erschienen: 1985
    Verlag:  Academic Press, Orlando [u.a.]

    Standort:
    Universitäts- und Landesbibliothek, Abteilungsbibliothek Medizin, Naturwissenschaften und Landbau
    Signatur:
    86/25513
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    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: 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
    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.
  11. Symbolic logic and mechanical theorem proving
    Autor*in: Chang, Chin-Liang
    Erschienen: [19]87
    Verlag:  Acad. Press, Boston [u.a.]

    Standort:
    Universitätsbibliothek Duisburg-Essen, Campus Essen
    Signatur:
    TCK2790
    Standort:
    Universitätsbibliothek Duisburg-Essen, Campus Essen
    Signatur:
    TCL2672_d
    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 Kaiserslautern
    Signatur:
    INF 864/058
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Paderborn
    Signatur:
    TDC1104+4
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    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.