Cours, TD et TP de preuves de programmes - Irif

qui sert de base `a la programmation logique (Prolog). Calcul des ..... Exercice. Soient P un prédicat unaire, Q et R des prédicats binaires et g une fonction ...


Un extrait du document

Top Livres   ||   De A a Z   || De Z a A