[NR09] Reusing Proofs in a Mathematical Library

Conférence Internationale avec comité de lecture : Calculemus 2009, January 2009,

Auteurs: I. Noyer , R. Rioboo

motcle:

Commentaires: Ã paraitre

BibTeX

@inproceedings {
	NR09,
	title	=	"{Reusing Proofs in a Mathematical Library}",
	author	=	" I. Noyer and R. Rioboo ",
	booktitle	=	"{Calculemus 2009}",
	year	=	2009,
	month	=	"January",
	note	=	"{Ã paraitre}",
}