Eléments de l'association

	Frank Pfenning	1
	Calcul symbolique	2
	Frank Pfenning *Sauf* Calcul symbolique"	0
	Calcul symbolique *Sauf* Frank Pfenning"	1
	Frank Pfenning Et Calcul symbolique	1
	Frank Pfenning Ou Calcul symbolique	2
	*Corpus*	7667

List of bibliographic references

Number of relevant bibliographic references: 1.

Ident.	Authors (with country if any)	Title
004283	Robert J. Simmons [États-Unis] ; Frank Pfenning [États-Unis]	Logical approximation for program analysis

Wicri

This area was generated with Dilib version V0.6.38.
Data generation: Fri Jun 18 17:37:45 2021. Site generation: Fri Jun 18 18:15:47 2021