GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Auteur Alain Dussauchoy |
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Luisa Iturrioz, Éditeur scientifique ; Alain Dussauchoy, Éditeur scientifique | Paris : Hermès science publications | 1989Théorie de la démonstration et sémantique de la programmation logique; logique mathématique, modale, intuitionniste, temporelle propositionnelle.