Unification in sort theories and its applications

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Weidenbach, Christoph (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Saarbrücken MPI Informatik 1993
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Literaturverz. S. 34 - 36
Beschreibung:	36 S 30 cm