Claude Marché · 1 obras en el catálogoObrasCConstraints in computational logicsConstraints in computational logics