Unification theory 2

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Kirchner, C. (BerichterstatterIn)
Format:	UnknownFormat
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	In: Journal Of Symbolic Computation Vol 8(1989), 1/2. S. 1-240