Ergebnisse für *

Es wurden 1 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 1 von 1.

Sortieren

1. WORD EQUATIONS AND RELATED TOPICS

   1ST INTERN.WORKSHOP,IWWERT '90.PROCEEDINGS. ; TUEBINGEN
   Autor*in:

   Erschienen: 1992

   Verlag:  SPRINGER, BERLIN

   • Bibliographische Angaben
   • Zugang
   • Export

   Bochum: Ruhr-Universität Bochum, Universitätsbibliothek

   Standort:

   Ruhr-Universität Bochum, Verbundbibliothek IB Fachbibliothek für Geographie, Geologie, Mathematik, Psychologie

   Fernleihe:

   keine Fernleihe

   Link zum Verbundkatalog:

   Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

   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.