Modèles logiques et systèmes d'intelligence artificielle
Par : Alain Dussauchoy
Editeur : Lavoisier-Hermès
Numéro de produit : 9782746235687
ISBN : 9782746235687
168,95 $
Les livres numériques seront disponibles pour télécharger dès votre paiement effectué.
* Prix en dollar canadien. Taxes et livraison en sus.
Retour à la liste des produits
Théorie de la démonstration et sémantique de la programmation logique; logique mathématique, modale, intuitionniste, temporelle propositionnelle.