TY  - GEN
AU  - Ngoa, Marie-Helene
TI  - Algorithmes de demonstraion automatique pour le calcul des predicats classique: These
PY  - 1967///
CY  - Lille
PB  - Universite de Lille
N1  - Lucrarea este multigrafiata
ER  -