GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Auteur Walter Carnielli |
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Numéro consacré aux logiques multivaluées. Sont traitées notamment la théorie de la preuve, la théorie de modèles, ainsi que les relations avec d'autres logiques non classiques et ses applications à l'informatique.