TY - THES ID - 146225829 TI - A propos des classes de complexité dans le modèle de Blum, Shub et Smale PY - 1998 PB - [S.l.]: [chez l'auteur], DB - UniCat KW - Logic, Symbolic and mathematical KW - Logique mathématique KW - Proof theory KW - Théorie de la démonstration KW - Computational complexity KW - Complexité de calcul (informatique) KW - Logique mathématique KW - Théorie de la démonstration KW - Complexité de calcul (informatique) UR - https://www.unicat.be/uniCat?func=search&query=sysid:146225829 AB - ER -