Modèles logiques et systèmes d'intelligence artificielle
Éditeur: Lavoisier-Hermès
1989352 pagesISBN 9782866012052
Format: ReliéLangue : Français
Théorie de la démonstration et sémantique de la programmation logique; logique mathématique, modale, intuitionniste, temporelle propositionnelle.
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)