TY  - THES
DP  - 
		http://www.theses.fr/1995AIX11015
TI  - Modélisation fonctionnelle et preuve de circuits avec LP
AU  - Allemand, Michel
A3  - Paillet, Jean-Luc
PY  - 1995
SP  - 221 f
N1  - Thèse de doctorat Informatique Aix-Marseille 1 1995
N1  - 1995AIX11015
ER  -