Export [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom

Nombre de documents archivés : 1.

Makni, Mme Amal (2024) La traduction des entiers naturels de HOL-Light à Coq. PRE - Projet de recherche, ENSTA.

Cette liste a été générée le Tue Jan 21 11:05:04 2025 CET.