| Titre : | Logique pour l'informatique : introduction à la déduction automatique |
| Auteurs : | Serenella Cerrito, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Vuibert, 2008 |
| ISBN/ISSN/EAN : | 978-2-7117-2069-9 |
| Format : | 1 vol. (XII-178 p.) ; ill., couv. ill. en coul. ; 24 cm |
| Langues: | Français |
| Index. décimale : | 004 (Traitement de données. Informatique) |
| Mots-clés: | Calcul propositionnel / Calcul des prédicats |
| Note de contenu : | Bibliogr., 1 p. Index |
| Nature du document : | documentaire |
| Genre : | manuel |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
