TY - GEN AU - Delahaye TI - Complexités : aux limites des mathématiques et de l'informatique T2 - Bibliothèque scientifique SN - 2842450825 PY - 2006/// CY - Paris PB - Belin KW - Complexité de calcul (informatique) KW - Logique symbolique et mathématique KW - Intelligence artificielle KW - 004.16 Logique mathématique ER -