De la logique à prolog cours et exercices
Type doc. :
Livre
Langue :
Français
Auteur(s) :
Editeur(s) :
Année d'édition :
2016
Thème :
Mathématiques
ISBN :
9789961019276
Afficher le Résumé
Cet ouvrage se propose d'apporter à l'étudiant en logique mathématique un support de cours et un recueil d'exercices qui lui permettrontd'acquérir les bases du raisonnement logique entermes de representation de la connaissance et en termes d'inférence en logique ensuite.
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| N° d'Exemplaire / inventaire | Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|---|
| 252608A17 | 510 BAH 1 C2 | BIB-Centrale / Ouvrages | Papier | interne | disponible | ||
| 252609A17 | 510 BAH 1 C3 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 252610A17 | 510 BAH 1 C4 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 252615A17 | 510 BAH 1 C5 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 252616A17 | 510 BAH 1 C6 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 252607A17 | 510 BAH 1 C1 | BIB-Centrale / Ouvrages | Papier | interne | disponible |
Bahi- Abidet, H. (2016). De la logique à prolog cours et exercices . OPU;