Discussion:Logique contrainte
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
J'ai des problèmes avec les références qui ne veulent pas bien s'afficher. Sinon, le nom "logique contrainte" est une traduction littérale de "constraint logic". L'article anglais est "non-deterministic constraint logic" mais selon les auteurs (livre Games, puzzles and computation), ce n'est pas forcément non-déterministe. J'ai donc préférer enlever l'adjectif "non-déterministe". --Fschwarzentruber (discuter) 26 avril 2018 à 11:41 (CEST)