IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)

INFZ21, logiques du raisonnement valide


précédentsommaire

5. Bibliographie

Alliot, J.-M., & Schiex, T. (1994). Intelligence artificielle & informatique théorique. Cépaduès éditions.

Arcangeli. (1995-1996). Logique formelle et calculabilité. (Cours dispensé à l'Institut National des Sciences Appliquées de Toulouse, en seconde année de Génie Informatique et Industriel)

Hulaas, J. (2002). Les règles grammaticales en prolog. http://cui.unige.ch/~blond/-Langages/Prolog/Tutorial/6_grammaire.html. (Université de genève)

Nugues, P. (2000a). Informatique linguistique et le langage prolog. (Notes de cours, ISMRA, 2e année de Génie Informatique)

Nugues, P. (2000b). La programmation logique et le prolog. (Notes de cours, ISMRA, 2e année de Génie Informatique)

Siegel, P. (1997-1998). Eléments de logique. (Cours de Diplôme d'Étude Approfondie dispensé à la faculté des sciences de Luminy)


précédentsommaire

Les sources présentées sur cette page sont libres de droits et vous pouvez les utiliser à votre convenance. Par contre, la page de présentation constitue une œuvre intellectuelle protégée par les droits d'auteur. Copyright © 2007 Laurent Audibert. Aucune reproduction, même partielle, ne peut être faite de ce site ni de l'ensemble de son contenu : textes, documents, images, etc. sans l'autorisation expresse de l'auteur. Sinon vous encourez selon la loi jusqu'à trois ans de prison et jusqu'à 300 000 € de dommages et intérêts.