What is unification? A categorical view of substitution, equation and solution

Bibliographische Detailangaben

1. Verfasser:	Goguen, Joseph
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Stanford, Calif. Center for the Study of Language and Information 1988
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!