Eléments de l'association

	Recherche preuve	7
	D. Galmiche	9
	Recherche preuve *Sauf* D. Galmiche"	6
	D. Galmiche *Sauf* Recherche preuve"	8
	Recherche preuve Et D. Galmiche	1
	Recherche preuve Ou D. Galmiche	15
	*Corpus*	1389

List of bibliographic references

Number of relevant bibliographic references: 1.

Ident.	Authors (with country if any)	Title
000974	D. Galmiche [France] ; D. J. Pym [Royaume-Uni]	Proof-search in type-theoretic languages : an introduction

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