INDUCTION DE PROGRAMMES LOGIQUES AVEC NEGATION

L'OBJECTIF DE LA PROGRAMMATION LOGIQUE INDUCTIVE EST D'EXPLIQUER DES OBSERVATIONS EN FOURNISSANT UN PROGRAMME LOGIQUE QUI MODELISE CORRECTEMENT CES OBSERVATIONS. CET APPRENTISSAGE DOIT DONC METTRE EN UVRE D'UNE PART DES METHODES DE CONSTRUCTION DE DEFINITIONS, ET D'AUTRE PART DES...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal: Martin, Lionel, auteur d'une thèse en sciences appliquées
Autres auteurs: Ferrand, Gérard, 19..-...., professeur d'informatique (Directeur de thèse)
Format: Thèse et Mémoire papier
Langue:Français
Publié: [S.l.] : [s.n.] 1996.
Sujets:
Note: 1996ORLE2069
Autres localisations: Voir dans le Sudoc
Variante du titre:INDUCTION OF LOGIC PROGRAMS WITH NEGATION

Orléans - BU Sciences Technologies STAPS

Informations d'exemplaires de Orléans - BU Sciences Technologies STAPS
  Localisation Cote Type de prêt Statut
Magasin TS 19-1996-69b Exclu du prêt A consulter sur place
Magasin TS 19-1996-69 Empruntable Disponible