Dépôt DSpace/Manakin
Logique pour l'informatique : introduction à la déduction automatique
- Accueil de DSpace
- →
- Bibliothèque Universitaire Centrale
- →
- Livres
- →
- Voir le document
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Serenella, Cerrito | |
| dc.contributor.author | Delia, Kesner | |
| dc.date.accessioned | 2025-01-29T14:18:01Z | |
| dc.date.available | 2025-01-29T14:18:01Z | |
| dc.date.issued | 2008 | |
| dc.identifier.isbn | 9782711720699 | |
| dc.identifier.uri | https://di.univ-blida.dz/jspui/handle/123456789/36572 | |
| dc.language.iso | fr | fr_FR |
| dc.publisher | Vuibert | fr_FR |
| dc.subject | Calcul des prédicats : Problèmes et exercices | fr_FR |
| dc.subject | Logique informatique : Manuels d'enseignement supérieur | fr_FR |
| dc.subject | Calcul des propositions : Problèmes et exercices | fr_FR |
| dc.title | Logique pour l'informatique : introduction à la déduction automatique | fr_FR |
| dc.title.alternative | cours & exercices : licence d'informatique | fr_FR |
| dc.type | Book | fr_FR |
Fichier(s) constituant ce document
Ce document figure dans la(les) collection(s) suivante(s)
-
Livres
Livres