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
KDTL SPATIAL Librairie Coq qui implémente la méréogéométrie de A. Tarski