T-Unification, Part I: Unification of Kommutative Terms

Bibliographische Detailangaben

1. Verfasser:	Siekmann, J. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Karlsruhe 1976
Schriftenreihe:	Interner Bericht / Institut für Informatik, Universität Karlsruhe 4/76
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!