Algorithmes d'élimination des quantificateurs
Publications de l'Institut de recherche mathématiques de Rennes, Séminaires de mathématiques - science, histoire et société, no. 4 (1985), pp. 173-195
Voir la notice de l'acte provenant de la source Numdam
@article{PSMIR_1985___4_173_0,
author = {Paugam, Annette},
title = {Algorithmes d'\'elimination des quantificateurs},
journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
pages = {173--195},
publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
number = {4},
year = {1985},
zbl = {0594.03016},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/PSMIR_1985___4_173_0/}
}
TY - JOUR AU - Paugam, Annette TI - Algorithmes d'élimination des quantificateurs JO - Publications de l'Institut de recherche mathématiques de Rennes PY - 1985 SP - 173 EP - 195 IS - 4 PB - Département de Mathématiques et Informatique, Université de Rennes UR - http://geodesic.mathdoc.fr/item/PSMIR_1985___4_173_0/ LA - fr ID - PSMIR_1985___4_173_0 ER -
%0 Journal Article %A Paugam, Annette %T Algorithmes d'élimination des quantificateurs %J Publications de l'Institut de recherche mathématiques de Rennes %D 1985 %P 173-195 %N 4 %I Département de Mathématiques et Informatique, Université de Rennes %U http://geodesic.mathdoc.fr/item/PSMIR_1985___4_173_0/ %G fr %F PSMIR_1985___4_173_0
Paugam, Annette. Algorithmes d'élimination des quantificateurs. Publications de l'Institut de recherche mathématiques de Rennes, Séminaires de mathématiques - science, histoire et société, no. 4 (1985), pp. 173-195. http://geodesic.mathdoc.fr/item/PSMIR_1985___4_173_0/