Modèles logiques et systèmes d'intelligence artificielle
Alain DUSSAUCHOY
Disponibilité:
Ebook en format PDF. Disponible pour téléchargement immédiat après la commande.
Ebook en format PDF. Disponible pour téléchargement immédiat après la commande.
Éditeur:
Lavoisier-Hermès
Lavoisier-Hermès
Protection:
ACS4
ACS4
Année de parution:
2021
2021
ISBN-13:
9782746235687
Description:
Théorie de la démonstration et sémantique de la programmation logique; logique mathématique, modale, intuitionniste, temporelle propositionnelle.
Aperçu du livre