Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 12 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 12 von 12.

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. Die wissenschaftliche Methode bei Christian Wolff
    Autor*in: Gómez Tutor, Juan Ignacio
    Erschienen: 2004
    Verlag:  Olms, Hildesheim [u.a.]

    Standort:
    Berlin-Brandenburgische Akademie der Wissenschaften, Akademiebibliothek
    Signatur:
    1993 B 70 - Abt.3,90
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Max-Planck-Institut für Wissenschaftsgeschichte, Bibliothek
    Signatur:
    Sou 3 W8552g -3,90
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    Signatur:
    32 MA 4818-3,90
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Braunschweig
    Signatur:
    2842-7513
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Bremen
    Signatur:
    h phi 320.0/05-3,90
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    Signatur:
    CF 9300.962-3,90
    Fernleihe:
    keine Fernleihe
    Standort:
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    Signatur:
    Forschungsbibliothek Gotha
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Greifswald
    Signatur:
    310/CF 9300.962-3,90
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    FA 2524:3,90
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Franckesche Stiftungen, Studienzentrum August Hermann Francke, Archiv und Bibliothek
    Signatur:
    FCw 740:3.90
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Signatur:
    I Wol Ges [3,90]
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    A 2005/2247
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    RPh/PI 2660 W855-3,90
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    Signatur:
    2018/1423:3,90
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Thüringer Universitäts- und Landesbibliothek
    Signatur:
    PHI:HK:900:W855:1:1964
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    Aa 293 3-90
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Osnabrück
    Signatur:
    JSR A 4388-187 5
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Signatur:
    CF 9300.962.3.90
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Klassik Stiftung Weimar / Herzogin Anna Amalia Bibliothek
    Signatur:
    124930 - A (3, 90)
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Herzog August Bibliothek Wolfenbüttel
    Signatur:
    12.8° 96:3,90
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzog August Bibliothek Wolfenbüttel; Herzogin Anna Amalia Bibliothek
    Beteiligt: Ecole, Jean; Wolff, Christian von
    Sprache: Deutsch
    Medientyp: Dissertation
    Format: Druck
    ISBN: 348712808X
    RVK Klassifikation: CF 9300 ; CF 9317
    Schriftenreihe: Array ; Bd. 90
    Schlagworte: Wolff, Christian von; Wissenschaft; Methode; Beweistheorie;
    Umfang: 366 S
    Bemerkung(en):

    Zugl.: Trier, Univ., Habil.-Schr., 2000
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. Philosophische und einzelwissenschaftliche Aspekte der Beweistheorie
    Beiträge von Kolloquien des Arbeitskreises "Philosophie - Naturwissenschaften" (insbesondere vom 31.5. und 7.6.1972)
    Autor*in:
    Erschienen: 1973
    Verlag:  Univ., Rostock

    Standort:
    Berlin-Brandenburgische Akademie der Wissenschaften, Akademiebibliothek
    Signatur:
    Z 5286 m - 10
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Bremen
    Signatur:
    a phi 605/355-1
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    Signatur:
    Forschungsbibliothek Gotha
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Greifswald
    Signatur:
    670/74 A 210(1)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Deutsche Akademie der Naturforscher Leopoldina, Bibliothek
    Signatur:
    Ca 1 / 556. 8° (10)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    Signatur:
    74 A 7791
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    Signatur:
    X/14696: 10
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RA 1286(10)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Ilmenau
    Signatur:
    PHI 94 A 13796-10
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Ilmenau
    Signatur:
    PHI 94 A 13796-10+2
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Kiel, Zentralbibliothek
    Signatur:
    P 1531-10
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Hochschule Merseburg, Bibliothek
    Signatur:
    FH 1974:1147/0
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Rostock
    Signatur:
    ZA 1465 (10)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Rostock
    Signatur:
    ZA 1466 (10)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Universitätsbibliothek Rostock
    Signatur:
    CB 4150 R839-6/11
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Klassik Stiftung Weimar / Herzogin Anna Amalia Bibliothek
    Signatur:
    86492 - A (1)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    UB Weimar
    Signatur:
    55 320
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Hochschule Wismar, University of Applied Sciences: Technology, Business and Design, Hochschulbibliothek
    Signatur:
    1974 A 602
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Herzogin Anna Amalia Bibliothek
    Beteiligt: Vogel, Heinrich
    Sprache: Deutsch
    Medientyp: Buch (Monographie)
    Format: Druck
    Schriftenreihe: Beweistheorie ; [H. 1]
    Rostocker philosophische Manuskripte ; 10
    Schlagworte: Beweistheorie; Philosophie;
    Umfang: 132 S., graph. Darst., 21 cm
    Bemerkung(en):

    Literaturverz. S. 129 - 130
  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.
  12. Automated theorem proving
    a logical basis
    Autor*in: Loveland, Donald W.
    Erschienen: 1978
    Verlag:  North-Holland, Amsterdam [u.a.]

    Standort:
    Mathematisches Institut, Bibliothek / Abteilung für Mathematische Logik
    Signatur:
    Frei 3d: V/Loveland
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Bibliothek der Technischen Fakultät
    Signatur:
    Frei 91: CI/2.3/52
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Germanistisches Seminar der Universität, Bibliothek
    Signatur:
    LOG 2 LOV 110/1
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Universität Heidelberg, Bereichsbibliothek Mathematik und Informatik
    Signatur:
    Lovel
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Karlsruher Institut für Technologie, KIT-Bibliothek
    Signatur:
    78 A 772
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    KIT-Bibliothek, Bibliothek der Fakultät für Informatik
    Signatur:
    D.Lov(04192)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Zentrum für Kunst und Medien Karlsruhe / Staatliche Hochschule für Gestaltung, Bibliothek
    Signatur:
    0048-08- 2077
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Leipzig
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Pädagogische Hochschulbibliothek Ludwigsburg
    Signatur:
    Inf 7c Lov
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Mannheim
    Signatur:
    400 ST 130 L898
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    Signatur:
    Frei 3c: M/Loveland, D
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universität des Saarlandes, Campusbibliothek für Informatik und Mathematik, Fachrichtung 6.2 Informatik
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Universitätsbibliothek Stuttgart
    Signatur:
    3H 1510-6
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Württembergische Landesbibliothek
    Signatur:
    28/7904
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

    Standort:
    Brechtbau-Bibliothek
    Signatur:
    GD 810.317
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Standort:
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    Signatur:
    F.4.1
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    Fachbibliothek Mathematik und Physik / Bereich Mathematik - Universität Tübingen
    Signatur:
    Love
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Leibniz-Institut für Deutsche Sprache, Bibliothek
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0720404991
    RVK Klassifikation: ST 130
    Schriftenreihe: Fundamental studies in computer science ; 6
    Schlagworte: Automatisches Beweisverfahren; ; Logik; ; Beweistheorie; ; Automatisches Beweisverfahren;
    Umfang: XIII, 405 S.