Skip to Main content Skip to Navigation
Conference papers

Contraction en logique propositionnelle finie

Document type :
Conference papers
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03300707
Contributor : Fabien Delorme <>
Submitted on : Tuesday, July 27, 2021 - 11:26:56 AM
Last modification on : Thursday, September 9, 2021 - 3:10:20 PM

Identifiers

  • HAL Id : hal-03300707, version 1

Collections

Citation

Thomas Caridroit, Sébastien Konieczny, Pierre Marquis. Contraction en logique propositionnelle finie. 7èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'13), 2013, Aix-en-Provence, Région indéterminée. ⟨hal-03300707⟩

Share

Metrics

Record views

8