Free Access
Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini p. 205
Published online: 01 February 2017
Free Access to the whole issue