Skip to Main content Skip to Navigation
Conference papers

Evaluation des méthodes d'achèvement par parties

Résumé : No abstract
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00732012
Contributor : Hal Lifl Connect in order to contact the contributor
Submitted on : Thursday, September 13, 2012 - 5:19:22 PM
Last modification on : Saturday, December 18, 2021 - 3:08:20 AM

Identifiers

  • HAL Id : hal-00732012, version 1

Citation

Olivier Roussel, Philippe Mathieu. Evaluation des méthodes d'achèvement par parties. Actes des Journées Francophones de Programmation Logique (JFPL'95), 1995, undef, France. pp.175--189. ⟨hal-00732012⟩

Share

Metrics

Les métriques sont temporairement indisponibles