A classification of unification problems in many-sorted theories

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Walther, Christoph 1950- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Karlsruhe 1985
Schriftenreihe:	Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht 1985,10
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge