Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
LeFun
Jump to user comments
Logic, Equations and Functions. An integration of logicprogramming and functional programming by H. Ait-Kaci et al
of MCC, Austin TX.
["LeFun: Logic, Equations and Functions", H. Ait-Kaci et al,
Proc 1987 Symp on Logic Programming, San Francisco].