Ergebnisse für *

Es wurden 24 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 24 von 24.

Sortieren

  1. Word equations and related topics
    1st International Workshop, IWWERT '90, Tübingen , Germany, October 1 - 3, 1990 ; proceedings
    Autor*in:
    Erschienen: 1992
    Verlag:  Springer, Berlin [u.a.]

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  2. Logic for computer science
    foundations of automatic theorem proving
    Erschienen: 1987
    Verlag:  Wiley, New York ; Chichester ; Brisbane ; Toronto ; Singapore

    Technische Hochschule Brandenburg, Hochschulbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0471615463
    RVK Klassifikation: ST 130 ; ST 304 ; SK 130 ; ES 900
    Schlagworte: Mathematische Logik; Automatisches Beweisverfahren
    Umfang: XV, 511 S., graph. Darst.
  3. Logic for computer science
    foundations of automatic theorem proving
    Erschienen: 1986
    Verlag:  Harper & Row, New York [u.a.]

    Freie Universität Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0060422254
    RVK Klassifikation: ST 304 ; ST 130 ; ES 900 ; SK 130
    Schriftenreihe: Harper & Row computer science and technology series
    Schlagworte: Mathematische Logik; Automatisches Beweisverfahren
    Umfang: XV, 511 S.
  4. Logic for computer science
    foundations of automatic theorem proving
    Erschienen: 1986
    Verlag:  Harper & Row, New York u.a.

    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    TU Berlin, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universität Potsdam, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0060422254
    RVK Klassifikation: ST 304 ; ST 130 ; ES 900 ; SK 130
    Schriftenreihe: Harper and Row computer science and technology series. ; 5.
    Schlagworte: Logique symbolique et mathématique; Théorèmes - Démonstration automatique; Automatic theorem proving; Logic, Symbolic and mathematical; Mathematische Logik; Automatisches Beweisverfahren
    Umfang: XV, 511 S.
  5. Word equations and related topics
    1st International Workshop, IWWERT '90, Tübingen , Germany, October 1 - 3, 1990 ; proceedings
    Autor*in:
    Erschienen: 1992
    Verlag:  Springer, Berlin [u.a.]

    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Europa-Universität Viadrina, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Hochschule Wildau [FH], Hochschulbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Schulz, Klaus U. (Sonstige)
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 3540551247
    Weitere Identifier:
    RVK Klassifikation: ES 900 ; SS 4800
    Schriftenreihe: Lecture notes in computer science ; 572
    Schlagworte: Unifikationstheorie; Reduktionssystem; Automatisches Beweisverfahren; Wortassoziation; Informatik; Gleichung; Wortgleichung; Freie Gruppe
    Umfang: 1 Online-Ressource (256 S.), graph. Darst.
    Bemerkung(en):

    Literaturangaben

  6. Logic for computer science
    foundations of automatic theorem proving
    Erschienen: 1987
    Verlag:  Harper & Row, New York [u.a.]

    Universität Mainz, Bereichsbibliothek Mathematik, Informatik, Naturwissenschaften
    ST 1203 GAL1
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0060422254
    RVK Klassifikation: ES 900 ; SK 130 ; ST 130 ; ST 304 ; ST 601
    Auflage/Ausgabe: 2. print
    Schriftenreihe: Harper & Row computer science and technology series ; 5
    Schlagworte: Automatisches Beweisverfahren
    Umfang: XV, 511 S.
    Bemerkung(en):

    Literaturverz. S. 489 - 493

  7. 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.
  8. Logic for computer science
    foundations of automatic theorem proving
    Erschienen: 1986
    Verlag:  Harper & Row, New York [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /SK 130 G168
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Gießen, Fachbibliothek Mathematik und Informatik / Informatik
    122 SK 130 G168
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0060422254
    RVK Klassifikation: ES 900 ; SK 130 ; ST 130 ; ST 304 ; ST 601
    Schriftenreihe: Harper & Row computer science and technology series ; 5
    Schlagworte: Automatisches Beweisverfahren
    Umfang: XV, 511 S.
    Bemerkung(en):

    Literaturverz. S. 489 - 493

  9. Word equations and related topics
    1st International Workshop, IWWERT '90, Tübingen , Germany, October 1 - 3, 1990 ; proceedings
    Autor*in:
    Erschienen: 1992
    Verlag:  Springer, Berlin [u.a.]

    Universitätsbibliothek Augsburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Bayreuth
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bayerische Staatsbibliothek
    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 Passau
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Regensburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Würzburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  10. Logic for computer science
    foundations of automat. theorem proving
    Erschienen: 1987
    Verlag:  Harper & Row, Cambridge u.a.

    Universitätsbibliothek Würzburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0060422254
    RVK Klassifikation: ST 130 ; ES 900 ; SK 130
    Auflage/Ausgabe: 2. pr.
    Schriftenreihe: Harper and Row computer science and technology series ; 5.
    Schlagworte: Mathematische Logik; Automatisches Beweisverfahren
    Umfang: XV, 511 S., Ill.
  11. 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

  12. Word equations and related topics
    1st International Workshop, IWWERT '90, Tübingen , Germany, October 1 - 3, 1990 ; proceedings
    Autor*in:
    Erschienen: 1992
    Verlag:  Springer, Berlin [u.a.]

    Ostbayerische Technische Hochschule Amberg-Weiden, Hochschulbibliothek Amberg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschule Augsburg, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Augsburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Bamberg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Bayreuth
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Landesbibliothek Coburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Erlangen-Nürnberg, Hauptbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschule Kempten, Hochschulbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Hochschule Landshut, Hochschule für Angewandte Wissenschaften, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Bayerische Staatsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Deutsches Museum, Bibliothek
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule München, Bibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Technische Universität München, Universitätsbibliothek
    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 Passau
    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: Schulz, Klaus U. (Sonstige)
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 3540551247
    Weitere Identifier:
    RVK Klassifikation: ES 900 ; SS 4800
    Schriftenreihe: Lecture notes in computer science ; 572
    Schlagworte: Unifikationstheorie; Reduktionssystem; Automatisches Beweisverfahren; Wortassoziation; Informatik; Gleichung; Wortgleichung; Freie Gruppe
    Umfang: 1 Online-Ressource (256 S.), graph. Darst.
    Bemerkung(en):

    Literaturangaben

  13. Logic for computer science
    foundations of automatic theorem proving
    Erschienen: 1986
    Verlag:  Harper & Row, Cambridge, Mass. u.a.

    Universitätsbibliothek der LMU München
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  14. Logic for computer science
    foundations of automatic theorem proving
    Erschienen: 1986
    Verlag:  Harper & Row, New York u.a.

    Universitätsbibliothek Augsburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Bayreuth
    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ätsbibliothek Passau
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Regensburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Würzburg
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0060422254
    RVK Klassifikation: ST 304 ; ST 130 ; ES 900 ; SK 130
    Schriftenreihe: Harper and Row computer science and technology series. ; 5.
    Schlagworte: Logique symbolique et mathématique; Théorèmes - Démonstration automatique; Automatic theorem proving; Logic, Symbolic and mathematical; Mathematische Logik; Automatisches Beweisverfahren
    Umfang: XV, 511 S.
  15. Logic for computer science
    foundations of automatic theorem proving
    Erschienen: 1987
    Verlag:  Harper & Row, New York [u.a.]

    Universität der Bundeswehr München, Universitätsbibliothek
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 0060422254
    RVK Klassifikation: SK 130 ; ES 900 ; ST 130 ; ST 304
    Auflage/Ausgabe: 2. printing
    Schriftenreihe: Harper & Row computer science and technology series ; 5
    Schlagworte: Mathematische Logik; Automatisches Beweisverfahren
    Umfang: XV, 511 S.
  16. Logic for computer science
    foundations of automatic theorem proving
    Erschienen: 1986
    Verlag:  Harper & Row, New York [u.a.]

    Universitätsbibliothek der RWTH Aachen
    BM5305-5+1
    Ausleihe von Bänden möglich, keine Kopien
    Universitätsbibliothek Duisburg-Essen, Campus Essen
    TVD169
    Universitätsbibliothek Duisburg-Essen, Campus Essen
    TVD169
    Fachhochschule Südwestfalen, Fachbibliothek Meschede
    77TVD1711
    Universitätsbibliothek der Fernuniversität
    TVI/GAL
    Universitätsbibliothek Kaiserslautern
    INF 864/044
    Universitätsbibliothek Kaiserslautern
    Universitäts- und Stadtbibliothek Köln, Hauptabteilung
    10H2516
    Ausleihe von Bänden möglich, keine Kopien
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    L Gall
    keine Fernleihe
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    I Gall
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 0060422254
    RVK Klassifikation: ST 315 ; SK 130 ; ST 130 ; ES 900
    Schriftenreihe: Harper & [and] Row computer science and technology series ; 5
    Schlagworte: Automatisches Beweisverfahren
    Umfang: XV, 511 S., graph. Darst.
  17. WORD EQUATIONS AND RELATED TOPICS
    1ST INTERN.WORKSHOP,IWWERT '90.PROCEEDINGS. ; TUEBINGEN
    Autor*in:
    Erschienen: 1992
    Verlag:  SPRINGER, BERLIN

    Ruhr-Universität Bochum, Verbundbibliothek IB Fachbibliothek für Geographie, Geologie, Mathematik, Psychologie
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: SCHULZ, KLAUS-ULRICH (Hrsg.)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 3540551247
    RVK Klassifikation: ES 900 ; SS 4800
    Schriftenreihe: LECTURE NOTES IN COMPUTER SCIENCE ; 572
    Schlagworte: Informatik; Automatisches Beweisverfahren; Gleichung; Wortassoziation; Reduktionssystem; Wortgleichung; Freie Gruppe; Unifikationstheorie
    Umfang: 256 S.
  18. Logic for computer science
    foundations of automatic theorem proving
    Erschienen: 1986
    Verlag:  Harper & Row, New York [u.a.]

    Mathematisches Institut, Bibliothek / Abteilung für Mathematische Logik
    Frei 3d: V/Gallier
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Karlsruher Institut für Technologie, KIT-Bibliothek
    86 A 1317
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    KIT-Bibliothek, Bibliothek der Fakultät für Informatik
    D.Gal(08031)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Mannheim
    AM 7309
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Mannheim
    400 ST 304 G168
    keine Fernleihe
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    M/Gallier, J
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Max-Planck-Institut für Informatik, Campusbibliothek für Informatik und Mathematik
    keine Fernleihe
    Universität des Saarlandes, Campusbibliothek für Informatik und Mathematik, Fachrichtung 6.2 Informatik
    keine Fernleihe
    Universitätsbibliothek Stuttgart
    3H 6719-5
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek der Eberhard Karls Universität
    27 A 15556
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Fachbibliothek Mathematik und Physik / Bereich Mathematik - Universität Tübingen
    Gall
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    I.2.3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    I.2.3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    I.2.3
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 0060422254
    RVK Klassifikation: ES 900 ; ST 304 ; SK 130 ; ST 130
    Schriftenreihe: Harper & [and] Row computer science and technology series ; 5
    Schlagworte: Automatisches Beweisverfahren; ; Automatisches Beweisverfahren;
    Umfang: XV, 511 S.
    Bemerkung(en):

    Literaturverz. S. 489 - 493

  19. Automated theorem proving
    a logical basis
    Erschienen: 1978
    Verlag:  North-Holland, Amsterdam [u.a.]

    Mathematisches Institut, Bibliothek / Abteilung für Mathematische Logik
    Frei 3d: V/Loveland
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Technischen Fakultät
    Frei 91: CI/2.3/52
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Germanistisches Seminar der Universität, Bibliothek
    LOG 2 LOV 110/1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Heidelberg, Bereichsbibliothek Mathematik und Informatik
    Lovel
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Karlsruher Institut für Technologie, KIT-Bibliothek
    78 A 772
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    KIT-Bibliothek, Bibliothek der Fakultät für Informatik
    D.Lov(04192)
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Zentrum für Kunst und Medien Karlsruhe / Staatliche Hochschule für Gestaltung, Bibliothek
    0048-08- 2077
    keine Fernleihe
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Universitätsbibliothek Leipzig
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Pädagogische Hochschulbibliothek Ludwigsburg
    Inf 7c Lov
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    keine Fernleihe
    Universitätsbibliothek Mannheim
    400 ST 130 L898
    keine Fernleihe
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    Frei 3c: M/Loveland, D
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität des Saarlandes, Campusbibliothek für Informatik und Mathematik, Fachrichtung 6.2 Informatik
    keine Fernleihe
    Universitätsbibliothek Stuttgart
    3H 1510-6
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Württembergische Landesbibliothek
    28/7904
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Brechtbau-Bibliothek
    GD 810.317
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Wilhelm-Schickard-Institut für Informatik, Bibliothek
    F.4.1
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachbibliothek Mathematik und Physik / Bereich Mathematik - Universität Tübingen
    Love
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    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.
  20. Journal of automated reasoning
    Autor*in:
    Erschienen: 1985-; -2004
    Verlag:  Springer Science + Business Media B.V., Dordrecht [u.a.] ; Kluwer

    Zugang:
    H ; 1.1985 - 29.2002 (Deutschlandweit zugänglich)
    Hochschule Aalen, Bibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Aalen, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Aalen, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Aalen, Bibliothek
    18.1997 -
    keine Fernleihe
    Hochschule Aalen, Bibliothek
    64.2020 -
    keine Fernleihe
    Berufsakademie Sachsen, Staatliche Studienakademie Bautzen, Bibliothek
    18.1997 -
    keine Fernleihe
    Evangelische Hochschule Berlin, Bibliothek
    eJournal
    1.1985 - 29.2002
    Leibniz-Zentrum Moderner Orient, Bibliothek, Geisteswissenschaftliche Zentren Berlin e.V.
    keine Fernleihe
    Max-Planck-Institut für Bildungsforschung, Bibliothek und wissenschaftliche Information
    keine Fernleihe
    Max-Planck-Institut für Wissenschaftsgeschichte, Bibliothek
    lizenziert: 1.1985,1 -
    Max-Planck-Institut für Wissenschaftsgeschichte, Bibliothek
    lizenziert: 18.1997,1 -
    Max-Planck-Institut für Wissenschaftsgeschichte, Bibliothek
    lizenziert: 1.1985 - 29.2002
    keine Fernleihe
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    1985 - 2001
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    1997 - 2003
    Stiftung Wissenschaft und Politik (SWP), Bibliothek
    18.1997 -
    keine Fernleihe
    Stiftung Wissenschaft und Politik (SWP), Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Stiftung Wissenschaft und Politik (SWP), Bibliothek
    64.2020 -
    keine Fernleihe
    Hochschule Biberach, Bibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Biberach, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Biberach, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Gesundheit, Hochschulbibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Gesundheit, Hochschulbibliothek
    18.1997 -
    keine Fernleihe
    Hochschule für Gesundheit, Hochschulbibliothek
    64.2020 -
    keine Fernleihe
    Physikalisch-Technische Bundesanstalt, Bibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Braunschweig
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Universitätsbibliothek Braunschweig
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Braunschweig
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Leibniz-Zentrum für Marine Tropenforschung (ZMT) GmbH, Bibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Universität Chemnitz, Universitätsbibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Universität Chemnitz, Universitätsbibliothek
    64.2020 -
    keine Fernleihe
    Universitätsbibliothek Clausthal
    keine Fernleihe
    Berufsakademie Sachsen, Staatliche Studienakademie Dresden, Bibliothek
    18.1997 -
    keine Fernleihe
    Evangelische Hochschule Dresden, Bibliothek
    18.1997 -
    keine Fernleihe
    Helmholtz-Zentrum Dresden - Rossendorf e.V., Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Helmholtz-Zentrum Dresden - Rossendorf e.V., Bibliothek
    18.1997 -
    keine Fernleihe
    Helmholtz-Zentrum Dresden - Rossendorf e.V., Bibliothek
    64.2020 -
    keine Fernleihe
    Hochschule für Technik und Wirtschaft Dresden, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Technik und Wirtschaft Dresden, Bibliothek
    18.1997 -
    keine Fernleihe
    Hochschule für Technik und Wirtschaft Dresden, Bibliothek
    64.2020 -
    keine Fernleihe
    Landesamt für Archäologie Sachsen, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    18.1997 -
    keine Fernleihe
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    64.2020 -
    keine Fernleihe
    Hochschule Emden/Leer, Hochschulbibliothek
    keine Fernleihe
    Fachhochschule Erfurt, Hochschulbibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachhochschule Erfurt, Hochschulbibliothek
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Fachhochschule Erfurt, Hochschulbibliothek
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Fachhochschule Erfurt, Hochschulbibliothek
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    lizenziert: 1.1985 - 29.2002
    keine Fernleihe
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    lizenziert: 64.2020,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Regierungspräsidium Stuttgart, Landesamt für Denkmalpflege, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Esslingen, Bibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Esslingen, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Esslingen, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Esslingen, Bibliothek
    18.1997 -
    keine Fernleihe
    Hochschule Esslingen, Bibliothek
    64.2020 -
    keine Fernleihe
    Zentrale Hochschulbibliothek Flensburg
    keine Fernleihe
    DIPF | Leibniz-Institut für Bildungsforschung und Bildungsinformation, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    DIPF | Leibniz-Institut für Bildungsforschung und Bildungsinformation, Bibliothek
    18.1997 -
    keine Fernleihe
    DIPF | Leibniz-Institut für Bildungsforschung und Bildungsinformation, Bibliothek
    64.2020 -
    keine Fernleihe
    Deutsche Nationalbibliothek
    Deutsche Nationalbibliothek
    Technische Universität Bergakademie Freiberg, Bibliothek 'Georgius Agricola'
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Universität Bergakademie Freiberg, Bibliothek 'Georgius Agricola'
    18.1997 - 55.2015
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Universität Bergakademie Freiberg, Bibliothek 'Georgius Agricola'
    18.1997 -
    keine Fernleihe
    Bibliothek der Pädagogischen Hochschule Freiburg/Breisgau
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Pädagogischen Hochschule Freiburg/Breisgau
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Pädagogischen Hochschule Freiburg/Breisgau
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Pädagogischen Hochschule Freiburg/Breisgau
    18.1997 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Pädagogischen Hochschule Freiburg/Breisgau
    64.2020 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Deutscher Caritasverband e.V., Bibliothek
    64.2020 -
    keine Fernleihe
    Deutscher Caritasverband e.V., Bibliothek
    18.1997 -
    keine Fernleihe
    Evangelische Hochschule Freiburg, Hochschulbibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Evangelische Hochschule Freiburg, Hochschulbibliothek
    64.2020 -
    keine Fernleihe
    Forstliche Versuchs- und Forschungsanstalt Baden-Württemberg, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Forstliche Versuchs- und Forschungsanstalt Baden-Württemberg, Bibliothek
    18.1997 -
    keine Fernleihe
    Forstliche Versuchs- und Forschungsanstalt Baden-Württemberg, Bibliothek
    64.2020 -
    keine Fernleihe
    Universitätsbibliothek Freiburg
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Freiburg
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Freiburg
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Freiburg
    18.1997 -
    keine Fernleihe
    Universitätsbibliothek Freiburg
    64.2020 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Furtwangen University. Informatik, Technik, Wirtschaft, Medien. Campus Furtwangen, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Furtwangen University. Informatik, Technik, Wirtschaft, Medien. Campus Furtwangen, Bibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Furtwangen University. Informatik, Technik, Wirtschaft, Medien. Campus Furtwangen, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Furtwangen University. Informatik, Technik, Wirtschaft, Medien. Campus Furtwangen, Bibliothek
    18.1997 -
    keine Fernleihe
    Hochschule Furtwangen University. Informatik, Technik, Wirtschaft, Medien. Campus Furtwangen, Bibliothek
    64.2020 -
    keine Fernleihe
    Helmholtz-Zentrum hereon GmbH, Bibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Helmholtz-Zentrum hereon GmbH, Bibliothek
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Helmholtz-Zentrum hereon GmbH, Bibliothek
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Hochschule für Wirtschaft und Umwelt Nürtingen-Geislingen, Bibliothek Geislingen,
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Wirtschaft und Umwelt Nürtingen-Geislingen, Bibliothek Geislingen,
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Wirtschaft und Umwelt Nürtingen-Geislingen, Bibliothek Geislingen,
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Wirtschaft und Umwelt Nürtingen-Geislingen, Bibliothek Geislingen,
    18.1997 -
    keine Fernleihe
    Hochschule für Wirtschaft und Umwelt Nürtingen-Geislingen, Bibliothek Geislingen,
    64.2020 -
    keine Fernleihe
    Berufsakademie Sachsen, Staatliche Studienakademie Glauchau, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Berufsakademie Sachsen, Staatliche Studienakademie Glauchau, Bibliothek
    18.1997 -
    keine Fernleihe
    Berufsakademie Sachsen, Staatliche Studienakademie Glauchau, Bibliothek
    64.2020 -
    keine Fernleihe
    Universitätsbibliothek Greifswald
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Greifswald
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Universitätsbibliothek Greifswald
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Esslingen, Standort Göppingen, Bibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Esslingen, Standort Göppingen, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Esslingen, Standort Göppingen, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Esslingen, Standort Göppingen, Bibliothek
    18.1997 -
    keine Fernleihe
    Hochschule Esslingen, Standort Göppingen, Bibliothek
    64.2020 -
    keine Fernleihe
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    lizenziert: 64.2020,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Otto-Hahn-Bibliothek des Max-Planck-Instituts für biophysikalische Chemie
    keine Fernleihe
    Burg Giebichenstein Kunsthochschule Halle, Hochschulbibliothek
    keine Fernleihe
    Deutsche Akademie der Naturforscher Leopoldina, Bibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Deutsche Akademie der Naturforscher Leopoldina, Bibliothek
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Leibniz-Institut für Agrarentwicklung in Transformationsökonomien, Bibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Leibniz-Institut für Agrarentwicklung in Transformationsökonomien, Bibliothek
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    lizenziert: 64.2020,1 -
    keine Fernleihe
    German Institute for Global and Area Studies, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    German Institute for Global and Area Studies, Bibliothek
    18.1997 -
    keine Fernleihe
    HafenCity Universität Hamburg, Bibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    HafenCity Universität Hamburg, Bibliothek
    lizenziert: 18.1997,1 -
    keine Fernleihe
    HafenCity Universität Hamburg, Bibliothek
    lizenziert: 18.1997,1 -
    keine Fernleihe
    HafenCity Universität Hamburg, Bibliothek
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Hamburger Institut für Sozialforschung, Bibliothek
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Hamburger Institut für Sozialforschung, Bibliothek
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Hamburger Lehrerbibliothek, Bibliothek des Landesinstituts für Lehrerbildung und Schulentwicklung
    1.1985 - 29.2002
    keine Fernleihe
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    lizenziert: 64.2020,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Hochschule für Angewandte Wissenschaften Hamburg, Hochschulinformations- und Bibliotheksservice (HIBS), Fachbibliothek Technik, Wirtschaft, Informatik
    keine Fernleihe
    Technische Universität Hamburg, Universitätsbibliothek
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Technische Universität Hamburg, Universitätsbibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Universität Hamburg, Universitätsbibliothek
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Zentrum für Wissensmanagement, Bibliothek Hamm
    1.1985 - 29.2002
    keine Fernleihe
    Bibliothek der Hochschule Hannover
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Hochschule Hannover
    lizenziert: 18.1997 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Hochschule Hannover
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek im Kurt-Schwitters-Forum
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek im Kurt-Schwitters-Forum
    lizenziert: 18.1997 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek im Kurt-Schwitters-Forum
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
    keine Fernleihe
    Medizinische Hochschule Hannover, Bibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Medizinische Hochschule Hannover, Bibliothek
    lizenziert: 18.1997,1 -
    Medizinische Hochschule Hannover, Bibliothek
    lizenziert: 64.2020,1 -
    Stiftung Tierärztliche Hochschule Hannover, Bibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Stiftung Tierärztliche Hochschule Hannover, Bibliothek
    lizenziert: 18.1997 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Stiftung Tierärztliche Hochschule Hannover, Bibliothek
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Stiftung Tierärztliche Hochschule Hannover, Bibliothek
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Bibliothek der Pädagogischen Hochschule Heidelberg
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Pädagogischen Hochschule Heidelberg
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Pädagogischen Hochschule Heidelberg
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek der Pädagogischen Hochschule Heidelberg
    18.1997 -
    keine Fernleihe
    Bibliothek der Pädagogischen Hochschule Heidelberg
    64.2020 -
    keine Fernleihe
    Universitätsbibliothek Heidelberg
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Heidelberg
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Heidelberg
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Heidelberg
    18.1997 -
    keine Fernleihe
    Universitätsbibliothek Heidelberg
    64.2020 -
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Heidenheim, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Heidenheim, Bibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Heidenheim, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Heidenheim, Bibliothek
    18.1997 -
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Heidenheim, Bibliothek
    64.2020 -
    keine Fernleihe
    Bibliothek LIV HN Sontheim
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek LIV HN Sontheim
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek LIV HN Sontheim
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliothek LIV HN Sontheim
    18.1997 -
    keine Fernleihe
    Bibliothek LIV HN Sontheim
    64.2020 -
    keine Fernleihe
    HAWK Hochschule für angewandte Wissenschaft und Kunst Hildesheim/Holzminden/Göttingen, Bibliothek, Elektronische Ressourcen
    keine Fernleihe
    HAWK Hochschule für angewandte Wissenschaft und Kunst Hildesheim/Holzminden/Göttingen, Bibliothek, Elektronische Ressourcen
    keine Fernleihe
    Universitätsbibliothek Hildesheim
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Hildesheim
    lizenziert: 18.1997 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Hildesheim
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Hildesheim
    lizenziert: 64.2020,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Stuttgart, Campus Horb, Bibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Stuttgart, Campus Horb, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Stuttgart, Campus Horb, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Stuttgart, Campus Horb, Bibliothek
    18.1997 -
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Stuttgart, Campus Horb, Bibliothek
    64.2020 -
    keine Fernleihe
    Universitätsbibliothek Ilmenau
    Online-Ressource
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Ilmenau
    Online-Ressource
    lizenziert: 18.1997,1 -
    Universitätsbibliothek Ilmenau
    Online-Ressource
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Ilmenau
    Online-Ressource
    lizenziert: 64.2020,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Ernst-Abbe-Hochschule Jena, Wissenschaftliche Bibliothek
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Ernst-Abbe-Hochschule Jena, Wissenschaftliche Bibliothek
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Ernst-Abbe-Hochschule Jena, Wissenschaftliche Bibliothek
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Ernst-Abbe-Hochschule Jena, Wissenschaftliche Bibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Ernst-Abbe-Hochschule Jena, Wissenschaftliche Bibliothek
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Max-Planck-Institut für Chemische Ökologie und Max-Planck-Institut für Biogeochemie, Wissenschaftliche Bibliothek
    keine Fernleihe
    Thüringer Universitäts- und Landesbibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Thüringer Universitäts- und Landesbibliothek
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Thüringer Universitäts- und Landesbibliothek
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Badische Landesbibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Karlsruhe (PH)
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Karlsruhe (PH)
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Karlsruhe (PH)
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Karlsruhe (PH)
    18.1997 -
    keine Fernleihe
    Hochschulbibliothek Karlsruhe (PH)
    64.2020 -
    keine Fernleihe
    KIT-Bibliothek, Fachbibliothek Hochschule Karlsruhe
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Karlsruher Institut für Technologie, KIT-Bibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Karlsruher Institut für Technologie, KIT-Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Karlsruher Institut für Technologie, KIT-Bibliothek
    18.1997 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    KIT-Bibliothek, Fachbibliothek Hochschule Karlsruhe
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    KIT-Bibliothek, Fachbibliothek Hochschule Karlsruhe
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Karlsruher Institut für Technologie, KIT-Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachbibliothek der Dualen Hochschule Baden-Württemberg Karlsruhe (FBD)
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachbibliothek der Dualen Hochschule Baden-Württemberg Karlsruhe (FBD)
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachbibliothek der Dualen Hochschule Baden-Württemberg Karlsruhe (FBD)
    18.1997 -
    keine Fernleihe
    KIT-Bibliothek, Fachbibliothek Hochschule Karlsruhe
    18.1997 -
    keine Fernleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    18.1997 -
    keine Fernleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    64.2020 -
    keine Fernleihe
    Fachbibliothek der Dualen Hochschule Baden-Württemberg Karlsruhe (FBD)
    64.2020 -
    keine Fernleihe
    KIT-Bibliothek, Fachbibliothek Hochschule Karlsruhe
    64.2020 -
    keine Fernleihe
    Fachhochschule Kiel, Zentralbibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachhochschule Kiel, Zentralbibliothek
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachhochschule Kiel, Zentralbibliothek
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Fachhochschule Kiel, Zentralbibliothek
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Kiel, Zentralbibliothek
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Kiel, Zentralbibliothek
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Universitätsbibliothek Kiel, Zentralbibliothek
    lizenziert: 64.2020,1 -
    keine Fernleihe
    HTWG Hochschule Konstanz Technik, Wirtschaft und Gestaltung, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    HTWG Hochschule Konstanz Technik, Wirtschaft und Gestaltung, Bibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    HTWG Hochschule Konstanz Technik, Wirtschaft und Gestaltung, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    HTWG Hochschule Konstanz Technik, Wirtschaft und Gestaltung, Bibliothek
    18.1997 -
    keine Fernleihe
    HTWG Hochschule Konstanz Technik, Wirtschaft und Gestaltung, Bibliothek
    64.2020 -
    keine Fernleihe
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    18.1997 -
    keine Fernleihe
    Universität Konstanz, Kommunikations-, Informations-, Medienzentrum (KIM)
    64.2020 -
    keine Fernleihe
    Deutsches Zentrum für Luft- und Raumfahrt, DLR-Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Deutsches Zentrum für Luft- und Raumfahrt, DLR-Bibliothek
    18.1997 -
    keine Fernleihe
    Deutsches Zentrum für Luft- und Raumfahrt, DLR-Bibliothek
    64.2020 -
    keine Fernleihe
    Hochschule Anhalt , Hochschulbibliothek
    keine Fernleihe
    Berufsakademie Sachsen, Staatliche Studienakademie Leipzig, Bibliothek
    18.1997 -
    keine Fernleihe
    Hochschule für Technik, Wirtschaft und Kultur, Hochschulbibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Technik, Wirtschaft und Kultur, Hochschulbibliothek
    18.1997 -
    keine Fernleihe
    Universitätsbibliothek Leipzig
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Leipzig, Universitätsbibliothek, Bibliothek Medizin/Naturwissenschaften
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Leipzig
    18.1997 -
    keine Fernleihe
    Universität Leipzig, Universitätsbibliothek, Bibliothek Medizin/Naturwissenschaften
    18.1997 -
    keine Fernleihe
    Universitätsbibliothek Leipzig
    64.2020 -
    keine Fernleihe
    Universität Leipzig, Universitätsbibliothek, Bibliothek Medizin/Naturwissenschaften
    64.2020 -
    keine Fernleihe
    Zentrum für Wissensmanagement, Bibliothek Lippstadt
    1.1985 - 29.2002
    keine Fernleihe
    Evangelische Hochschule Ludwigsburg, Hochschule für Soziale Arbeit, Diakonie und Religionspädagogik, Bibliothek
    1.1985 - 29.2002
    keine Fernleihe
    Evangelische Hochschule Ludwigsburg, Hochschule für Soziale Arbeit, Diakonie und Religionspädagogik, Bibliothek
    18.1997 -
    keine Fernleihe
    Evangelische Hochschule Ludwigsburg, Hochschule für Soziale Arbeit, Diakonie und Religionspädagogik, Bibliothek
    64.2020 -
    keine Fernleihe
    Hochschule für öffentliche Verwaltung und Finanzen Ludwigsburg, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für öffentliche Verwaltung und Finanzen Ludwigsburg, Bibliothek
    18.1997 -
    keine Fernleihe
    Hochschule für öffentliche Verwaltung und Finanzen Ludwigsburg, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Pädagogische Hochschulbibliothek Ludwigsburg
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Pädagogische Hochschulbibliothek Ludwigsburg
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Pädagogische Hochschulbibliothek Ludwigsburg
    18.1997 -
    keine Fernleihe
    Pädagogische Hochschulbibliothek Ludwigsburg
    64.2020 -
    keine Fernleihe
    Zentrale Hochschulbibliothek Lübeck
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Zentrale Hochschulbibliothek Lübeck
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    lizenziert: 18.1997 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    lizenziert: 64.2020,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Magdeburg-Stendal, Hochschulbibliothek
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Magdeburg-Stendal, Hochschulbibliothek
    lizenziert: 64.2020,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Max-Planck-Institut für Dynamik Komplexer Technischer Systeme, Bibliothek
    keine Fernleihe
    Otto-von-Guericke-Universität, Universitätsbibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Otto-von-Guericke-Universität, Universitätsbibliothek
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Otto-von-Guericke-Universität, Universitätsbibliothek
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Otto-von-Guericke-Universität, Universitätsbibliothek, Medizinische Zentralbibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Otto-von-Guericke-Universität, Universitätsbibliothek, Medizinische Zentralbibliothek
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Otto-von-Guericke-Universität, Universitätsbibliothek, Medizinische Zentralbibliothek
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Mannheim, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Mannheim, Bibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Mannheim, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Mannheim, Bibliothek
    18.1997 -
    keine Fernleihe
    Hochschule Mannheim, Hochschulbibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Mannheim, Hochschulbibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Mannheim, Hochschulbibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Mannheim, Hochschulbibliothek
    18.1997 -
    keine Fernleihe
    Hochschule Mannheim, Hochschulbibliothek
    64.2020 -
    keine Fernleihe
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    18.1997 -
    keine Fernleihe
    Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
    64.2020 -
    keine Fernleihe
    Universitätsbibliothek Mannheim
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Mannheim
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Mannheim
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Mannheim
    18.1997 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Mannheim
    64.2020 -
    keine Fernleihe
    Deutsches Literaturarchiv Marbach, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Merseburg, Bibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Merseburg, Bibliothek
    lizenziert: 18.1997 -
    keine Fernleihe
    Hochschule Merseburg, Bibliothek
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Mosbach, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Mosbach, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Mosbach, Bibliothek
    18.1997 -
    keine Fernleihe
    Hochschulbibliothek Friedensau
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Max-Planck-Institut für Sozialrecht und Sozialpolitik, Abteilung für ausländisches und internationales Sozialrecht sowie Abteilung Munich Center for the Economics of Aging (MEA), Bibliothek
    keine Fernleihe
    Hochschule Neubrandenburg, Bibliothek
    keine Fernleihe
    Max-Planck-Institut für Psycholinguistik, Bibliothek
    keine Fernleihe
    Hochschule Nordhausen, Hochschulbibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Nordhausen, Hochschulbibliothek
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Wirtschaft und Umwelt Nürtingen-Geislingen, Bibliothek Nürtingen
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Wirtschaft und Umwelt Nürtingen-Geislingen, Bibliothek Nürtingen
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Wirtschaft und Umwelt Nürtingen-Geislingen, Bibliothek Nürtingen
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Wirtschaft und Umwelt Nürtingen-Geislingen, Bibliothek Nürtingen
    18.1997 -
    keine Fernleihe
    Hochschule für Wirtschaft und Umwelt Nürtingen-Geislingen, Bibliothek Nürtingen
    64.2020 -
    keine Fernleihe
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    1.1985 - 29.2002
    keine Fernleihe
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    18.1997 -
    keine Fernleihe
    Hochschule Offenburg, University of Applied Sciences, Bibliothek Campus Offenburg
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Offenburg, University of Applied Sciences, Bibliothek Campus Offenburg
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Offenburg, University of Applied Sciences, Bibliothek Campus Offenburg
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Offenburg, University of Applied Sciences, Bibliothek Campus Offenburg
    18.1997 -
    keine Fernleihe
    Hochschule Offenburg, University of Applied Sciences, Bibliothek Campus Offenburg
    64.2020 -
    keine Fernleihe
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    lizenziert: 18.1997 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Bibliotheks-und Informationssystem der Carl von Ossietzky Universität Oldenburg (BIS)
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Oldenburg, Bibliothek
    keine Fernleihe
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Elsfleth, Bibliothek
    keine Fernleihe
    Landesbibliothek Oldenburg
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Osnabrück, Bibliothek Campus Westerberg
    keine Fernleihe
    Universitätsbibliothek Osnabrück
    keine Fernleihe
    Max-Planck-Institut für Evolutionsbiologie, Bibliothek
    keine Fernleihe
    Universität Potsdam, Universitätsbibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Potsdam, Universitätsbibliothek
    lizenziert: 18.1997,1 - 33.2004,4
    Universität Potsdam, Universitätsbibliothek
    lizenziert: 18.1997,1 -
    Universität Potsdam, Universitätsbibliothek
    lizenziert: 64.2020,1 -
    Duale Hochschule Baden-Württemberg Ravensburg, Bibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Ravensburg, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Ravensburg, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Ravensburg, Bibliothek
    18.1997 -
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Ravensburg, Bibliothek
    64.2020 -
    keine Fernleihe
    Hochschulbibliothek Reutlingen (Lernzentrum)
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Reutlingen (Lernzentrum)
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Reutlingen (Lernzentrum)
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Reutlingen (Lernzentrum)
    18.1997 -
    keine Fernleihe
    Hochschulbibliothek Reutlingen (Lernzentrum)
    64.2020 -
    keine Fernleihe
    Berufsakademie Sachsen, Staatliche Studienakademie Riesa, Bibliothek
    18.1997 -
    keine Fernleihe
    Deutsches Historisches Institut in Rom, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Rostock
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Rostock
    lizenziert: 18.1997,1 -
    keine Fernleihe
    Universitätsbibliothek Rostock
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Hochschule für Forstwirtschaft Rottenburg, Bibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Forstwirtschaft Rottenburg, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Forstwirtschaft Rottenburg, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Forstwirtschaft Rottenburg, Bibliothek
    18.1997 -
    keine Fernleihe
    Hochschule für Forstwirtschaft Rottenburg, Bibliothek
    64.2020 -
    keine Fernleihe
    Hochschule für Technik und Wirtschaft des Saarlandes, Bibliothek / Bereich Goebenstraße
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Technik und Wirtschaft des Saarlandes, Bibliothek / Bereich Goebenstraße
    1997 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Technik und Wirtschaft des Saarlandes, Bibliothek / Bereich Goebenstraße
    18.1997 -
    keine Fernleihe
    Hochschule für Technik und Wirtschaft des Saarlandes, Bibliothek / Bereich Goebenstraße
    64.2020 -
    keine Fernleihe
    Max-Planck-Institut für Informatik, Campusbibliothek für Informatik und Mathematik
    1.1985 -
    keine Fernleihe
    Max-Planck-Institut für Informatik, Campusbibliothek für Informatik und Mathematik
    1.1985 - 29.2002
    keine Fernleihe
    Saarländische Universitäts- und Landesbibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    INM - Leibniz-Institut für Neue Materialien gGmbH, NTNM-Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    INM - Leibniz-Institut für Neue Materialien gGmbH, NTNM-Bibliothek
    1997 -
    keine Fernleihe
    Saarländische Universitäts- und Landesbibliothek
    1997 - 2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    INM - Leibniz-Institut für Neue Materialien gGmbH, NTNM-Bibliothek
    18.1997 -
    keine Fernleihe
    Saarländische Universitäts- und Landesbibliothek
    18.1997 -
    keine Fernleihe
    INM - Leibniz-Institut für Neue Materialien gGmbH, NTNM-Bibliothek
    64.2020 -
    keine Fernleihe
    Saarländische Universitäts- und Landesbibliothek
    64.2020 -
    keine Fernleihe
    Hochschule Schmalkalden, Cellarius Bibliothek
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Schmalkalden, Cellarius Bibliothek
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Schmalkalden, Cellarius Bibliothek
    lizenziert: 64.2020,1 -
    keine Fernleihe
    Pädagogische Hochschule, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Pädagogische Hochschule, Bibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Pädagogische Hochschule, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Pädagogische Hochschule, Bibliothek
    18.1997 -
    keine Fernleihe
    Pädagogische Hochschule, Bibliothek
    64.2020 -
    keine Fernleihe
    Hochschule Albstadt-Sigmaringen, Bibliothek Sigmaringen
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Albstadt-Sigmaringen, Bibliothek Sigmaringen
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Albstadt-Sigmaringen, Bibliothek Sigmaringen
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Albstadt-Sigmaringen, Bibliothek Sigmaringen
    18.1997 -
    keine Fernleihe
    Hochschule Magdeburg-Stendal, Standort Stendal, Bibliothek
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Magdeburg-Stendal, Standort Stendal, Bibliothek
    lizenziert: 64.2020,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule Stralsund, Hochschulbibliothek
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Stuttgart, Bibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Stuttgart, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Stuttgart, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Stuttgart, Bibliothek
    18.1997 -
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Stuttgart, Bibliothek
    64.2020 -
    keine Fernleihe
    Hochschule der Medien, Bibliothek Standort Nobelstr.
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule der Medien, Bibliothek Standort Nobelstr.
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule der Medien, Bibliothek Standort Nobelstr.
    18.1997 -
    keine Fernleihe
    Hochschule der Medien, Bibliothek Standort Nobelstr.
    64.2020 -
    keine Fernleihe
    Hochschule für Technik Stuttgart, Bibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Technik Stuttgart, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Technik Stuttgart, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschule für Technik Stuttgart, Bibliothek
    18.1997 -
    keine Fernleihe
    Hochschule für Technik Stuttgart, Bibliothek
    64.2020 -
    keine Fernleihe
    Kommunikations-, Informations- und Medienzentrum der Universität Hohenheim
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Kommunikations-, Informations- und Medienzentrum der Universität Hohenheim
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Kommunikations-, Informations- und Medienzentrum der Universität Hohenheim
    18.1997 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Kommunikations-, Informations- und Medienzentrum der Universität Hohenheim
    64.2020 -
    keine Fernleihe
    Universitätsbibliothek Stuttgart
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Stuttgart
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Stuttgart
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Stuttgart
    18.1997 -
    keine Fernleihe
    Universitätsbibliothek Stuttgart
    64.2020 -
    keine Fernleihe
    Württembergische Landesbibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Württembergische Landesbibliothek
    18.1997 -
    keine Fernleihe
    Württembergische Landesbibliothek
    64.2020 -
    keine Fernleihe
    Universitätsbibliothek der Eberhard Karls Universität
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek der Eberhard Karls Universität
    48.2012 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek der Eberhard Karls Universität
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek der Eberhard Karls Universität
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek der Eberhard Karls Universität
    18.1997 -
    keine Fernleihe
    Universitätsbibliothek der Eberhard Karls Universität
    64.2020 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Hochschule Ulm, Bibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Hochschule Ulm, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Technische Hochschule Ulm, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    1.1985 -
    keine Fernleihe
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    18.1997 -
    keine Fernleihe
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    64.2020 -
    keine Fernleihe
    Universitätsbibliothek Vechta
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Villingen-Schwenningen, Bibliothek
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Villingen-Schwenningen, Bibliothek
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    keine Fernleihe
    UB Weimar
    lizenziert: 1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    UB Weimar
    lizenziert: 18.1997,1 -
    keine Fernleihe
    UB Weimar
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    UB Weimar
    lizenziert: 18.1997,1 -
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    UB Weimar
    lizenziert: 1.1985,1 -
    keine Fernleihe
    Hochschulbibliothek Weingarten
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Weingarten
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Weingarten
    18.1997 - 53.2014
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Weingarten
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Weingarten
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Weingarten
    30.2003 - 63.2019
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Hochschulbibliothek Weingarten
    18.1997 -
    keine Fernleihe
    Hochschulbibliothek Weingarten
    64.2020 -
    keine Fernleihe
    EBS Universität für Wirtschaft und Recht, Standort Wiesbaden, Fachbibliothek Rechtswissenschaften
    keine Fernleihe
    Jade Hochschule Wilhelmshaven/Oldenburg/Elsfleth, Campus Wilhelmshaven, Bibliothek
    keine Fernleihe
    Ostfalia Hochschule für angewandte Wissenschaften, Bibliothek
    keine Fernleihe
    Westsächsische Hochschule Zwickau, Bibliothek
    1.1985 -
    keine Fernleihe
    Westsächsische Hochschule Zwickau, Bibliothek
    1.1985 - 29.2002
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Westsächsische Hochschule Zwickau, Bibliothek
    18.1997 -
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Deutsches Literaturarchiv Marbach, Bibliothek; Leibniz-Institut für Deutsche Sprache, Bibliothek
    Sprache: Englisch
    Medientyp: Elektronische Zeitschrift
    Format: Online
    ISSN: 1573-0670
    RVK Klassifikation: ELIB23
    Schlagworte: Automatisches Beweisverfahren;
    Umfang: Online-Ressource
    Bemerkung(en):

    Gesehen am 01.11.05

  21. Maschinelle Extraktion von zusammengesetzten Ausdrücken aus englischen Fachtexten
    Erschienen: 1975
    Verlag:  Beuth, Berlin, Köln, Frankfurt (Main)

    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
  22. The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts

    This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation Structures, an adaptation of Discourse Representation Structures, are used to... mehr

     

    This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation Structures, an adaptation of Discourse Representation Structures, are used to represent the semantics of texts written in the Naproche CNL. We discuss how the Naproche CNL can be used in formal mathematics, and present our prototypical Naproche system, a computer program for parsing texts in the Naproche CNL and checking the proofs in them for logical correctness.

     

    Export in Literaturverwaltung
    Quelle: BASE Fachausschnitt Germanistik
    Sprache: Englisch
    Medientyp: Konferenzveröffentlichung
    Format: Online
    DDC Klassifikation: Sprache (400)
    Schlagworte: Computerlinguistik; Natürliche Sprache; Automatisches Beweisverfahren; Texttechnologie; Formale Semantik
    Lizenz:

    rightsstatements.org/page/InC/1.0/ ; info:eu-repo/semantics/openAccess

  23. ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
    Erschienen: 2018
    Verlag:  Frankfurt am Main [u.a.] : Lang

    Mathematische Texte sind natürlichsprachlich (ggf. mit formelsprachliche Anteilen), nicht formalsprachlich. ProofML ist ein Dateiformat, das erlaubt, sie so zu annotieren, daß der natürlichsprachlichen eine logische Struktur zugeordnet wird. ;... mehr

     

    Mathematische Texte sind natürlichsprachlich (ggf. mit formelsprachliche Anteilen), nicht formalsprachlich. ProofML ist ein Dateiformat, das erlaubt, sie so zu annotieren, daß der natürlichsprachlichen eine logische Struktur zugeordnet wird. ; Mathematical texts are usually not fully formalised but are written in natural language (possibly interspersed with formulae). ProofML is an XML application that permits to annotate mathematical proofs so that a logical structure is assigned to the linguistic structure.

     

    Export in Literaturverwaltung
    Quelle: BASE Fachausschnitt Germanistik
    Sprache: Deutsch
    Medientyp: Konferenzveröffentlichung
    Format: Online
    DDC Klassifikation: Sprache (400)
    Schlagworte: Automatisches Beweisverfahren; Computerlinguistik; Natürliche Sprache; Texttechnologie; XML
    Lizenz:

    rightsstatements.org/page/InC/1.0/ ; info:eu-repo/semantics/openAccess

  24. From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
    Erschienen: 2018
    Verlag:  Tübingen : Narr

    We present an extension to Discourse Representation Theory that can be used to analyze mathematical texts written in the commonly used semi-formal language of mathematics (or at least a subset of it). Moreover, we describe an algorithm that can be... mehr

     

    We present an extension to Discourse Representation Theory that can be used to analyze mathematical texts written in the commonly used semi-formal language of mathematics (or at least a subset of it). Moreover, we describe an algorithm that can be used to check the resulting Proof Representation Structures for their logical validity and adequacy as a proof.

     

    Export in Literaturverwaltung
    Quelle: BASE Fachausschnitt Germanistik
    Sprache: Englisch
    Medientyp: Konferenzveröffentlichung
    Format: Online
    DDC Klassifikation: Sprache (400)
    Schlagworte: Computerlinguistik; Automatisches Beweisverfahren; Formale Semantik; Natürliche Sprache; Texttechnologie
    Lizenz:

    rightsstatements.org/page/InC/1.0/ ; info:eu-repo/semantics/openAccess