BIBLIOTHEQUE MISM
Détail de l'auteur
Auteur Jonathon Elbaz |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Programmer en PROLOG / Jonathon Elbaz
Titre : Programmer en PROLOG Type de document : texte imprimé Auteurs : Jonathon Elbaz, Auteur Editeur : Paris : Ellipses Année de publication : 1991 Importance : 255p Format : 24x16.5 cm ISBN/ISSN/EAN : 978-2-7298-9164-0 Langues : Français (fre) Langues originales : Français (fre) Mots-clés : PROLOG Index. décimale : 004 Traitement de données. Informatique Résumé : TABLE DES MATIERES
Introduction
Chapitre 1:Un sous-ensemble du langage prolg les clauses de horn sans symbole de fonction
Chapitre 2: le langage prolog pur
Chapitre 3: semantique operationnelle de prolog pur
Chapitre 4: correction,terminaison,efficacite de programmes
Chapitre 5:exemples de programmes
Chapitre 6:artimetique et syntaxe prolog
Chapitre 7:controler le retour-arriere:la coupure
Chapitre 8:les predicats extra-logiques
Chapitre 9:programmation metalogiques et du second ordre
Chapitre 10:exemples de programmes
Chapitre 11:les grammaires
Chapitre 12: les systemes experts
corriges des exercices
BIBLIOGRAPHIEProgrammer en PROLOG [texte imprimé] / Jonathon Elbaz, Auteur . - Paris : Ellipses, 1991 . - 255p ; 24x16.5 cm.
ISBN : 978-2-7298-9164-0
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : PROLOG Index. décimale : 004 Traitement de données. Informatique Résumé : TABLE DES MATIERES
Introduction
Chapitre 1:Un sous-ensemble du langage prolg les clauses de horn sans symbole de fonction
Chapitre 2: le langage prolog pur
Chapitre 3: semantique operationnelle de prolog pur
Chapitre 4: correction,terminaison,efficacite de programmes
Chapitre 5:exemples de programmes
Chapitre 6:artimetique et syntaxe prolog
Chapitre 7:controler le retour-arriere:la coupure
Chapitre 8:les predicats extra-logiques
Chapitre 9:programmation metalogiques et du second ordre
Chapitre 10:exemples de programmes
Chapitre 11:les grammaires
Chapitre 12: les systemes experts
corriges des exercices
BIBLIOGRAPHIERéservation
Réserver ce document
Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité 03/80671 L/004.802 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Exclu du prêt 09/155805 L/004.802 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 09/155806 L/004.802 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 09/155807 L/004.802 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 09/155808 L/004.802 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 09/155809 L/004.802 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible