Skip to main navigation Skip to search Skip to main content

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

Research output: Contribution to conference › Paper › peer-review

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

Symposium

SymposiumDidapro 6
Country/TerritoryBelgium
CityNamur
Period25/01/16 → 27/01/16

Cite this