Unification with ICSIM

Bibliographische Detailangaben

1. Verfasser:	Kurfeß, Franz (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berkeley, Calif. International Computer Science Inst. 1991
Schriftenreihe:	TR / International Computer Science Institute 91,53
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!