Approches logiques du raisonnement taxinomique
Gabriella CROCCO
In Méthodes logiques pour les sciences cognitives - 1995
Une application de la logique linéaire : la planification déductive
Marcel MASSERON
In Méthodes logiques pour les sciences cognitives - 1995