291![Author manuscript, published in Author manuscript, published in](https://www.pdfsearch.io/img/7061a3c46e3aa986ebe3c79e245b962f.jpg) | Add to Reading ListSource URL: hal.inria.frLanguage: English - Date: 2012-06-13 17:24:51
|
---|
292![CAS 1 et 2 Réclamation de Hugo Boss et du comité de course contre Synerciel, Mirabaud, Acciona, Initiatives Coeur, Maitre Coq, Energa, Groupe CAS 1 et 2 Réclamation de Hugo Boss et du comité de course contre Synerciel, Mirabaud, Acciona, Initiatives Coeur, Maitre Coq, Energa, Groupe](https://www.pdfsearch.io/img/1fd1178deaa497e6955c37b2077375a8.jpg) | Add to Reading ListSource URL: www.vendeeglobe.orgLanguage: French - Date: 2012-11-21 05:21:00
|
---|
293![Certified Programming with Dependent Types Adam Chlipala September 26, 2013 Certified Programming with Dependent Types Adam Chlipala September 26, 2013](https://www.pdfsearch.io/img/87a783996cc5d0ed7de3d165efa44e44.jpg) | Add to Reading ListSource URL: adam.chlipala.netLanguage: English - Date: 2013-10-16 10:39:33
|
---|
294![Les types quotients en Coq Cyril Cohen ˆ Les types quotients en Coq Cyril Cohen ˆ](https://www.pdfsearch.io/img/2d95f370f290dfb5341d2c975aaaaf8f.jpg) | Add to Reading ListSource URL: jfla.inria.frLanguage: French - Date: 2010-01-30 16:32:10
|
---|
295![](https://www.pdfsearch.io/img/c3c7326f0e38506a5b9998828d28f9d9.jpg) | Add to Reading ListSource URL: ocvs.cfv.jpLanguage: English - Date: 2007-02-22 06:02:29
|
---|
296![](https://www.pdfsearch.io/img/3ad2a382fa2c93cb06334766cffc5125.jpg) | Add to Reading ListSource URL: www.estonia.gov.ukLanguage: English - Date: 2008-06-18 16:44:24
|
---|
297![](https://www.pdfsearch.io/img/e141c9c0d69c00d50fda3950ac7f972a.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2006-12-28 16:47:05
|
---|