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 5 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	inria-00074284v1 Rapport Solange Coupet-Grimal, Olivier Ridoux. On the use of advanced logic programming languages [Research Report] RR-2391, INRIA. 1994
	inria-00072908v1 Rapport Laurent Imbert, Jean-Michel Muller, Fabien Rico. Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers [Research Report] RR-3754, INRIA. 1999
	inria-00072909v1 Rapport Milos Ercegovac, Laurent Imbert, David Matula, Jean-Michel Muller, Guoheng Wei. Improving Goldschmidt Division, Square Root and Square Root Reciprocal [Research Report] RR-3753, INRIA. 1999
	inria-00070683v1 Rapport Gérard Cornuéjols, Claude Lemaréchal. A Convex-Analysis Perspective on Disjunctive Cuts [Research Report] RR-5317, INRIA. 2004, pp.17
	inria-00133996v2 Rapport Yannick Chevalier, Denis Lugiez, Michael Rusinowitch. Toward an Automatic Analysis of Web Service Security [Research Report] RR-6341, INRIA. 2007, pp.40
		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 5 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM