Visitor

Views

Examen de Programmation en Logique

Correction Examen de Programmation en Logique. Michel Rueher ... Oui: le
prédicat diff est identique au prédicat hors-de (vu en TD), c'est à dire à not
member.

Part of the document