Next:
Preuve automatique et
Up:
No Title
Previous:
No Title
Intelligence artificielle
Preuve automatique et preuves de programmes
Logiques non-monotones
Logiques appliquées à l'intelligence artificielle
Réseaux de neurones artificiels
Réseaux de neurones artificiels: dynamique des systèmes distribués
Application de l'intelligence artificielle
Pierre-Yves SCHOBBENS
Thu Feb 4 19:08:21 MET 1999
