« Raisonnement automatisé » : historique des versions

12 avril 2023

• actudiff 17:1212 avril 2023 à 17:12‎ WikiCleanerBot discuter contributions‎ m 3 152 octets −6‎ v2.05b - Modèles ne fonctionnant pas dans les listes - Correction syntaxique (Modèle dans une liste - Espace insécable) annuler Balise : WPCleaner

25 novembre 2022

• actudiff 22:2025 novembre 2022 à 22:20‎ Slzbg discuter contributions‎ 3 158 octets +1‎ erreurs d'accents annuler

17 mai 2022

• actudiff 11:2117 mai 2022 à 11:21‎ Bescherele discuter contributions‎ 3 157 octets +128‎ Fonctionnalité de suggestion d’images : 1 image ajoutée. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des images

1 octobre 2020

• actudiff 15:411 octobre 2020 à 15:41‎ Tetus92 discuter contributions‎ 3 029 octets +143‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

21 février 2020

• actudiff 09:5221 février 2020 à 09:52‎ 141.98.255.144 discuter‎ 2 886 octets +5‎ Correction de style (ajout de "avec") annuler Balise : Éditeur visuel

28 janvier 2019

• actudiff 09:3128 janvier 2019 à 09:31‎ Dpegz discuter contributions‎ m 2 881 octets +9‎ Lien interwiki écrit comme un lien externe annuler

26 janvier 2019

• actudiff 17:2326 janvier 2019 à 17:23‎ Asabengurtza discuter contributions‎ 2 872 octets +67‎ Aucun résumé des modifications annuler

3 janvier 2014

• actudiff 03:513 janvier 2014 à 03:51‎ OrlodrimBot discuter contributions‎ m 2 805 octets +10‎ Ajout du paramètre oldid dans {{Traduction/Référence}} — d'après l'historique, la traduction date du 7 juin 2007, à partir de la version du 30 mai 2007 de l'article original annuler

15 mars 2013

• actudiff 12:0415 mars 2013 à 12:04‎ Addbot discuter contributions‎ m 2 795 octets −215‎ Retrait de 7 liens interlangues, désormais fournis par Wikidata sur la page d:q2555318 annuler

24 mai 2012

• actudiff 20:4824 mai 2012 à 20:48‎ Epsilon0 discuter contributions‎ 3 010 octets −1‎ oups. ref souhaité sur cet axiome sur lequel on aimerait en savoir plus. annuler
• actudiff 20:4524 mai 2012 à 20:45‎ Epsilon0 discuter contributions‎ 3 011 octets +59‎ modifs stylistiques ; l'article me semble fortement à compléter annuler
• actudiff 18:0224 mai 2012 à 18:02‎ Ji-Elle discuter contributions‎ m 2 952 octets +24‎ Ajout rapide de {{portail}} : + informatique théorique ; avec BandeauxPortails annuler
• actudiff 18:0224 mai 2012 à 18:02‎ Ji-Elle discuter contributions‎ m 2 928 octets +26‎ Ajout rapide de {{portail}} : + informatique ; avec BandeauxPortails annuler

12 octobre 2011

• actudiff 12:3612 octobre 2011 à 12:36‎ Jarfe discuter contributions‎ m 2 902 octets +2‎ (anglicisme) dédié -> consacré  annuler

18 mars 2011

• actudiff 04:4318 mars 2011 à 04:43‎ ArthurBot discuter contributions‎ m 2 900 octets +20‎ r2.6.3) (robot Ajoute: zh:自动推理 annuler

8 janvier 2011

• actudiff 16:338 janvier 2011 à 16:33‎ 92.151.214.193 discuter‎ 2 880 octets −1‎ Aucun résumé des modifications annuler

5 avril 2009

• actudiff 19:115 avril 2009 à 19:11‎ Linan discuter contributions‎ m 2 881 octets −1‎ ortho annuler

17 mars 2009

• actudiff 16:2917 mars 2009 à 16:29‎ Outs discuter contributions‎ 2 882 octets +9‎ Aucun résumé des modifications annuler

9 mars 2009

• actudiff 10:209 mars 2009 à 10:20‎ TXiKiBoT discuter contributions‎ m 2 873 octets +31‎ robot Ajoute: it:Ragionamento automatico annuler

7 mars 2009

• actudiff 23:077 mars 2009 à 23:07‎ TaBOT-zerem discuter contributions‎ m 2 842 octets −1‎ robot Modifie: es:Razonamiento automático annuler

18 janvier 2009

• actudiff 11:5018 janvier 2009 à 11:50‎ PIerre.Lescanne discuter contributions‎ m 2 843 octets +1‎ typo annuler

13 septembre 2008

• actudiff 16:4213 septembre 2008 à 16:42‎ Escarbot discuter contributions‎ m 2 842 octets +35‎ robot Ajoute: fa:استدلال خودکار annuler

20 juin 2008

• actudiff 10:0520 juin 2008 à 10:05‎ TXiKiBoT discuter contributions‎ m 2 807 octets +49‎ robot Ajoute: sr:Аутоматско резоновање annuler

5 avril 2008

• actudiff 10:145 avril 2008 à 10:14‎ RobotQuistnix discuter contributions‎ m 2 758 octets +33‎ robot Ajoute: es:Razonamiento automatizado annuler

26 juin 2007

• actudiff 22:3326 juin 2007 à 22:33‎ Analphabot discuter contributions‎ m 2 725 octets +20‎ robot Ajoute: ja:自動推論 annuler

8 juin 2007

• actudiff 11:078 juin 2007 à 11:07‎ Seb35 discuter contributions‎ m 2 705 octets 0‎ a renommé Raisonnement Automatisé en Raisonnement automatisé: typo annuler
• actudiff 11:078 juin 2007 à 11:07‎ Seb35 discuter contributions‎ m 2 705 octets −140‎ mise en page, recat annuler

7 juin 2007

• actudiff 14:107 juin 2007 à 14:10‎ F.Laplace discuter contributions‎ 2 845 octets +2 845‎ Nouvelle page : ''Cet article est une traduction pour les lecteurs francophones de l'article anglais : Automated reasoning'' '''Le Raisonnement Automatisé''' est un domaine de l'[[informatiqu...