Programmes par lausearvutus.sf.net

Un applet qui aide les enseignants ou n’importe qui d’autre à effectuer des tâches sur des expressions logiques qui nécessiteraient beaucoup de temps humain à gérer. Ce programme comprend des conversions entre les notations i