Chargement...
Chargement...
Auteur

Support

Série

Disponibilité

1

Programmation impérative et programmation déclarative en Prolog

Éditeur(s) : Elsevier Masson
Traite, à travers l'étude du langage Prolog, des principaux concepts de l'intelligence artificielle. Plusieurs exemples illustrent chaque étape de l'apprentissage, de nombreux exercices permettent une application immédiate du cours. ©Electre 2025
29,70 €
Chargement...

Calculabilité et décidabilité : une introduction

Éditeur(s) : Elsevier Masson
Présente plusieurs modèles de calcul parmi les plus répandus (machines RAM, machines de Turing, fonctions récursives) et montre leur équivalence comme argument de la thèse de Church. Conçu comme un manuel de cours, l'exposé est suivi d'exercices. ©Electre 2025
22,00 €
Chargement...
1