Définition et utilisation des s-l graphes en démonstration automatique
By: Henri Saya
Published: 1975
Language: fre
Notes: Thesis (doctoral)--Université scientifique et médicale de Grenoble, 1975.