GEOTRUST SSL CERTIFICATE
Titre : | IIèmes Journées francophones de programmation logique : JFPL 93, Nîmes 24-25 mai 1993, Avignon, 26 mai 1993 |
Auteurs : | JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), Auteur ; GROUPE PROGRAMMATION EN LOGIQUE, Auteur ; ÉCOLE POUR LES ÉTUDES ET LA RECHERCHE EN INFORMATIQUE ET ÉLECTRONIQUE, Auteur |
Type de document : | texte imprimé |
Editeur : | Bessières (Haute Garonne) : Teknea, 1993 |
ISBN/ISSN/EAN : | 978-2-87717-034-5 |
Format : | XVI-390 p. / ill. / 23 x 16 cm |
Note générale : |
Bibliogr. Textes en français et en anglais |
Langues: | Français |
Index. décimale : | 005.1 |
Mots-clés: | programmation logique ; congrès |
Résumé : |
Thèmes abordés : programmation séquentielle, Prolog, langage naturel, représentation de la connaissance, lambda-calcul, transformation de programmes, contraintes. |
Exemplaires
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
aucun exemplaire |