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 2 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	tel-01420460v2 Thèse Pierre Halmagrand. Automated Deduction and Proof Certification for the B Method Logic in Computer Science [cs.LO]. Conservatoire National Des Arts et Métiers, Paris, 2016. English
	tel-00336576v1 HDR Sandrine Blazy. Sémantiques formelles Informatique [cs]. Université d'Evry-Val d'Essonne, 2008
		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 2 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM