Formalisation des démontrations mathématiques
By: André Arnold
Published: 1968
Language: fre
Notes: Thesis (doctoral)--Universite︠ de Lille, 1968.