Application d’une méthode logique à l’aide à la décision en médecine - Fieschi, M; Joubert, M (1979)
La méthode de Davis et Putnam en logique propositionnelle. Ilème Congrès AFCET-IRIA. Reconnaissance des formes et Intelligence Artificielle. Toulouse (France) Sept