Une compilation logique exacte en calcul des prédicats : le cas de l'achèvement total - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1997
Fichier non déposé

Dates et versions

hal-00732026 , version 1 (13-09-2012)

Identifiants

  • HAL Id : hal-00732026 , version 1

Citer

Olivier Roussel, Philippe Mathieu. Une compilation logique exacte en calcul des prédicats : le cas de l'achèvement total. Actes de la 3ème conférence nationale sur la résolution pratique de problèmes NP-complets (JNPC'97), 1997, undef, France. pp.61--66. ⟨hal-00732026⟩
205 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More