Logic programming with polymorphically order-sorted types

Bibliographische Detailangaben

1. Verfasser:	Smolka, Gert (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Stuttgart IBM Deutschland GmbH 1988
Schriftenreihe:	LILOG-Report 55
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!