Proving run-time properties of logic programs

Bibliographische Detailangaben

1. Verfasser:	Drabent, W. (VerfasserIn)
Weitere Verfasser:	Maluszynski, J. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1986
Schriftenreihe:	Reports / LINKOEPING UNIV LITH-IDA-R-86-23
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!