Report - 08potet/ejcp-expose.pdf · Ecole des Jeunes Chercheurs en Programmation - mai 2010 p.1/1 08 Plan du cours 1. ... Formalisme logique :Prédicats Logique du premier ordre : P ^ Q, P)

Please pass captcha verification before submit form