"résolution problème." . . "calcul lambda programmation logique." . . "Programació (Ordinadors)" . . "Programmation fonctionnelle (informatique)" . . "Programación (Ordenadores electrónicos)" . . "Programmierung." . . "logique équationnelle." . . . . . . . . . . . . . "Logique, réduction, résolution" . . . . . . . . . . . . . . . . . . . . . . . . "Computation as logic"@en . "Computation as logic"@it . "Computation as logic" . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Logique, réduction, resólution" . "Programmation dynamique." . . "Logika szimbolikus." . . "logique mathématique." . . "réduction." . . "Funktionale Programmierung." . . "Mathematische Logik." . . "Informatik." . . "programmation en logique." . . "Logique symbolique et mathématique." . . "programmation fonctionnelle." . . "Programación funcional (Informática)" . . "Matematikai logika számítástudomány." . . "logique." . . "Logique." . "logique 1er ordre." . . . . "Logische Programmierung." . . "réécriture." . . "programmation logique système de réécriture (informatique)" . . "programmation par fonctions." . . "Programación lógica." . . "Lógica simbólica y matemática." . . "lambda calcul." . . "Programmation logique." . . "programmation logique." . "Traitement automatique des données." . . "Lògica matemàtica." . . "Lógica matemática." . "Logik." . . "modèle." . . "Programación funcional." . .