cour_9f0a5719-82ff-4941-8db8-54a6166124d3

•  
• Visão geral
•  
• Publicações
•  
• Ver todos
•  

Visão geral

oferecido por

• École Normale Supérieure de Cachan 

Publicações

publicações

• Otimização matemática em Coq  Documento