A Specification of an abstract Prolog machine and its application to partial evaluation

Bibliographische Detailangaben

1. Verfasser:	Komorowski, Henryk Jan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Linköping Univ. 1981
Schriftenreihe:	Linköping studies in science and technology 69
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!