LOGICIELS

BATI Bibliothèque d’Analyse et Traitement de l’Information
FLOULIB Librairie MATLAB qui implémente de la logique floue
KDTL MEREO Librairie Coq qui implémente la méréologie de S. Lesniewski