Contributions de Thirs

27 février 2009

• 13:1527 février 2009 à 13:15 diff hist +183‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎Aucun résumé des modifications

25 février 2009

• 16:0925 février 2009 à 16:09 diff hist −4‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎Aucun résumé des modifications
• 16:0825 février 2009 à 16:08 diff hist +828‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎Aucun résumé des modifications
• 15:5825 février 2009 à 15:58 diff hist −4‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎Aucun résumé des modifications
• 15:5725 février 2009 à 15:57 diff hist −2‎ Langage et concepts catégoriques pour les mathématiques et l’informatique ‎Aucun résumé des modifications

21 octobre 2008

• 12:2321 octobre 2008 à 12:23 diff hist +24‎ Reseau inverse ‎ →‎Logical rules
• 12:1221 octobre 2008 à 12:12 diff hist +1‎ Reseau inverse ‎ →‎Logical rules