Recherche

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 3 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	tel-00177109v1 Thèse Francisco Cháves. Utilisation et certification de l'arithmétique d'intervalles dans un assistant de preuves Modélisation et simulation. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
	hal-00018529v1 Communication dans un congrès Francisco Cháves, Marc Daumas. A library of Taylor models for PVS automatic proof checker Rafi L. Muhanna, Robert L. Mullen. 2006, Savannah, Georgia, Georgia Institute of Technology, pp.39-52, 2006
	inria-00070194v1 Rapport Francisco Cháves, Marc Daumas. A library of Taylor models for PVS automatic proof checker [Research Report] RR-5831, INRIA. 2006, pp.18
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 3 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM