Acquisition de connaissances et raisonnement en logique propositionnelle

Bruno Zanuttini. Acquisition de connaissances et raisonnement en logique propositionnelle. PhD thesis, University of Caen Normandy, France, 2003. [doi]

Abstract

Abstract is missing.