Eléments de l'association

	Adel Bouhoula	6
	Theorem proving	5
	Adel Bouhoula *Sauf* Theorem proving"	5
	Theorem proving *Sauf* Adel Bouhoula"	4
	Adel Bouhoula Et Theorem proving	1
	Adel Bouhoula Ou Theorem proving	10
	*Corpus*	1134

List of bibliographic references

Number of relevant bibliographic references: 1.

Ident.	Authors (with country if any)	Title
000873	Narjes Berregeb [France] ; Adel Bouhoula [France] ; Michaël Rusinowitch [États-Unis, France]	Automated verification by induction with associative-commutative operators

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022