Search - Université d'Artois Access content directly

Filter your results

1 Résultat
authFullName_s : A. Rauzy

Calcul propositionnel : vers une extension du formalisme

A. Rauzy , Lakhdar Saïs , Laure Brisoux
Actes des Cinquièmes Journées Nationales sur la Résolution Pratique des Problèmes NP-Complets (JNPC-99), 1999, Lyon, France. pp.189-198
Conference papers hal-03301149v1