Lazrek, Azzedine, 1961-...
Lazrek, Azzeddine, 1961-....
VIAF ID: 32097526 ( Personal )
Permalink: http://viaf.org/viaf/32097526
Preferred Forms
Works
Title | Sources |
---|---|
Étude et réalisation de méthodes de preuve par récurrence en logique équationnelle | |
Study and implementation of inductif proof methods in equational logic. |