DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Please use this identifier to cite or link to this item:
http://localhost:8080/xmlui/handle/123456789/36572| Title: | Logique pour l'informatique : introduction à la déduction automatique |
| Other Titles: | cours & exercices : licence d'informatique |
| Authors: | Serenella, Cerrito Delia, Kesner |
| Keywords: | Calcul des prédicats : Problèmes et exercices Logique informatique : Manuels d'enseignement supérieur Calcul des propositions : Problèmes et exercices |
| Issue Date: | 2008 |
| Publisher: | Vuibert |
| URI: | https://di.univ-blida.dz/jspui/handle/123456789/36572 |
| ISBN: | 9782711720699 |
| Appears in Collections: | Livres |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 2-511-49.pdf | 159,23 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.