Eléments de l'association

	Eric Deplagne	2
	Induction	10
	Eric Deplagne *Sauf* Induction"	0
	Induction *Sauf* Eric Deplagne"	8
	Eric Deplagne Et Induction	2
	Eric Deplagne Ou Induction	10
	*Corpus*	1389

List of bibliographic references

Number of relevant bibliographic references: 2.

Ident.	Authors (with country if any)	Title
000681	Eric Deplagne [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Quang Huy Nguyen [France]	Proof search and proof check for equational and inductive theorems
000813	Eric Deplagne [France] ; Claude Kirchner [France]	Deduction versus computation: The case of induction

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