Recherche et téléchargement d’archives de revues mathématiques numérisées
Vauzeilles, J.; Strauss, A.
Intuitionistic three-valued logic and logic programming. Informatique théorique et applications, 25 no. 6 (1991), p. 557-587
Notice complète | Texte intégral djvu | pdf | Analyses MR 1145428 | Zbl 0771.68084