Un outil d'aide à la conception des formes normales en logique propositionnelle

Research output: Contribution to conferencePaper

Original languageFrench
Number of pages2
Publication statusPublished - 2016
EventDidapro 6 - Namur, Belgium
Duration: 25 Jan 201627 Jan 2016

Symposium

SymposiumDidapro 6
CountryBelgium
CityNamur
Period25/01/1627/01/16

Cite this