Inductive functional programming using incremental program transformation; and Execution of logic pr - detaljert visning

Inductive functional programming using incremental program transformation; and Execution of logic programs by iterative-deepening: A★ SLD-tree search

Roland Olsson
Bok Engelsk 1994


Utgitt	[Oslo] : University of Oslo, Department of Informatics , 1994
Omfang	181 s. : ill.
Opplysninger	Avhandling (Dr.Scient.) - Universitetet i Oslo, 1994. - Elektronisk reproduksjon
Emner	funksjonell programmering logisk programutvikling funksjonell-programmering
ISBN	8273680991