Number of documents

1

Publications of Annie Duchateau


2003   

Theses1 document

  • Annie Chateau. Utilisation des destinées pour la décision et sa complexité dans le cas de formules à profondeur de quantification bornée sur des structures logiques finies et infinies. Mathématiques [math]. Université d'Auvergne - Clermont-Ferrand I, 2003. Français. ⟨tel-00011983⟩