Filtern nach
Letzte Suchanfragen

Ergebnisse für *

Es wurden 3 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 3 von 3.

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.]

    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

  2. Word Equations and Related Topics
    1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings
    Erschienen: 1992
    Verlag:  Springer Berlin Heidelberg, Berlin, Heidelberg

    Staats- und Universitätsbibliothek Bremen
    keine Fernleihe
    Universitätsbibliothek Clausthal
    keine Fernleihe
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    keine Fernleihe
    Bibliothek der Pädagogischen Hochschule Freiburg/Breisgau
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek Freiburg
    keine Fernleihe
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Stuttgart, Campus Horb, Bibliothek
    eBook Nationallizenz
    keine Fernleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    keine Fernleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    keine Fernleihe
    Karlsruher Institut für Technologie, KIT-Bibliothek
    keine Fernleihe
    HTWG Hochschule Konstanz Technik, Wirtschaft und Gestaltung, Bibliothek
    eBook Springer
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Mannheim, Bibliothek
    E-Book Springer
    keine Fernleihe
    Hochschule Mannheim, Hochschulbibliothek
    eBook Springer
    keine Fernleihe
    Hochschule Mittweida (FH), Hochschulbibliothek
    keine Fernleihe
    Mathematisches Forschungsinstitut Oberwolfach gGmbH, Bibliothek
    eBook Springer
    keine Fernleihe
    Hochschulbibliothek Pforzheim, Bereichsbibliothek Technik und Wirtschaft
    eBook Springer Lecture Notes Archiv
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Ravensburg, Bibliothek
    E-Book Springer
    keine Fernleihe
    Hochschulbibliothek Reutlingen (Lernzentrum)
    eBook
    keine Fernleihe
    Universitätsbibliothek Rostock
    keine Fernleihe
    Saarländische Universitäts- und Landesbibliothek
    keine Fernleihe
    Hochschule Albstadt-Sigmaringen, Bibliothek Sigmaringen
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Duale Hochschule Baden-Württemberg Stuttgart, Bibliothek
    eBook Nationallizenz
    keine Fernleihe
    Hochschule der Medien, Bibliothek Standort Nobelstr.
    E-Book/Nationallizenz
    keine Fernleihe
    Württembergische Landesbibliothek
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Universitätsbibliothek der Eberhard Karls Universität
    keine Fernleihe
    Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices
    keine Fernleihe
    Duale Hochschule Baden-Württemberg Villingen-Schwenningen, Bibliothek
    Springer eBooks Lectures Notes
    keine Fernleihe
    Hochschule Wismar, University of Applied Sciences: Technology, Business and Design, Hochschulbibliothek
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9783540551249
    Weitere Identifier:
    RVK Klassifikation: SS 4800 ; ES 900
    Schriftenreihe: Lecture Notes in Computer Science ; 572
    Array
    Schlagworte: Artificial intelligence; Computer science; Data structures (Computer science); Logic, Symbolic and mathematical; Computer Science
    Umfang: Online-Ressource
  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.]

    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