Telecharger Cours

Assistants de preuve

En revan he, ni Mizar, ni PVS n'ont une notion de noyau bien délimité. En parti ulier, de nouvelles méthodes de preuves peuvent être ...



Download