Solving higher-order equations : from logic to programming

Christian Prehofer
Bok · Engelsk · 1998

Utgitt	Boston : Birkhauser , C1998
Omfang	VII, 186 s.
Opplysninger	Basert på forfatterens avhandling (Ph.d.)
Emner	Computer logic Declarative programming Logic, Symbolic and mathematical Lambda-kalkyle Omskrivning
ISBN	0817640320. - 3764340320