Konferenzschrift | Kongress

Word equations and related topics : proceedings

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540551249
3540551247
9780387551241
0387551247
Maße
25 cm
Umfang
256 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; 572

Schlagwort
Wortgleichung
Unifikationstheorie
Reduktionssystem

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
(wer)
Springer
(wann)
1992
Beteiligte Personen und Organisationen
Schulz, Klaus
IWWERT (1 : 1990 : Tübingen)

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:32 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

Entstanden

  • 1992

Ähnliche Objekte (12)