Resolution with feature unification

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bläsius, Karl Hans (VerfasserIn)
Weitere Verfasser:	Hedtstück, Ulrich (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Stuttgart IBM Deutschland, WT LILOG 1988
Schriftenreihe:	LILOG-Report 51
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Aus: Lecture notes in computer science ; Bd. 329. 1988
Beschreibung:	[13] S