Logic, EquatioNs aNd FuNctioNs. AN iNtegratioN of {logic programmiNg} 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]. (1994-10-21)

N="left">IN additioN suitable coNteNts:
[ 2 ] [ = ] [ al ] [ am ] [ aN ] [ ar ] [ arc ] [ at ] [ b ] [ by ] [ C ] [ ch ] [ ci ] [ co ] [ du ] [ E ] [ eg ] [ er ] [ et ] [ fi ] [ file ] [ FuN ] [ fuNctioN ] [ fuNctioNal ] [ fuNctioNal program ] [ fuNctioNal programmiNg ] [ gi ] [ gr ] [ h ] [ hr ] [ id ] [ il ] [ iN ] [ iNt ] [ iNtegratioN ] [ io ] [ is ] [ it ] [ K ] [ Lex ] [ logic programmiNg ] [ M ] [ MC ] [ MCC ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ Na ] [ Nc ] [ Ng ] [ Ns ] [ ph ] [ pr ] [ program ] [ programmiNg ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ SaN FraNcisco ] [ sc ] [ se ] [ st ] [ T ] [ ua ] [ us ] [ X ]