Filtern nach
Letzte Suchanfragen

Ergebnisse für *

Es wurden 4 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 4 von 4.

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. Word equations and related topics
    proceedings
    Autor*in:
    Erschienen: 1992
    Verlag:  Springer, Berlin [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /SS 1800 I961.1990
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /SS 1800 I961.1990
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Z 23, 572
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Schulz, Klaus U. (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540551247; 0387551247
    RVK Klassifikation: ES 900 ; SS 1800 ; SS 4800 ; ES 900 ; SS 1800 ; SS 4800
    Schriftenreihe: Lecture notes in computer science ; 572
    Schlagworte: Wortgleichung; Unifikationstheorie; Reduktionssystem
    Umfang: 256 S., graph. Darst.
    Bemerkung(en):

    Literaturangaben

  3. 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
  4. Word equations and related topics
    proceedings
    Autor*in:
    Erschienen: 1992
    Verlag:  Springer, Berlin [u.a.]

    Universitätsbibliothek der RWTH Aachen
    ZA6315-572
    Ausleihe von Bänden möglich, keine Kopien
    Universitätsbibliothek Bielefeld
    HI052%Y90 W9E6R
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitäts- und Landesbibliothek, Abteilungsbibliothek Medizin, Naturwissenschaften und Landbau
    W 2014/25205
    Ausleihe von Bänden möglich, keine Kopien
    Universitätsbibliothek Duisburg-Essen, Campus Essen
    TTQ3396
    Universitätsbibliothek der Fernuniversität
    TUQ/IWWE
    Universitätsbibliothek Kaiserslautern
    INF
    Universitätsbibliothek Koblenz
    INF 045 2327-572
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    I LNCS 572
    keine Fernleihe
    Universitätsbibliothek Trier
    XR/f338-572
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Schulz, Klaus U. (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 3540551247; 0387551247
    RVK Klassifikation: ES 900 ; SS 4800
    Schriftenreihe: Lecture notes in computer science ; 572
    Schlagworte: Reduktionssystem; Wortgleichung; Unifikationstheorie
    Umfang: 256 S.