Algorithmes de demonstration automatique pour le calcul des predicats classique
Contributors: Université de Lille
Publisher: Departement de mathematique
Published: 1967
Place of publication: Lille
Language: fre
Notes: Thesis (doctoral)--Université de Lille, 1967.