Faculté des Arts et Sciences - Département d'Informatique et de ...
fournit un test intéressant pour des systèmes d'IA (e.g. preuve automatique de ....
d'appels aux phrases Prolog nécessaires pour que n soit inscrit dans la liste ...
fournit un test intéressant pour des systèmes d'IA (e.g. preuve automatique de ....
d'appels aux phrases Prolog nécessaires pour que n soit inscrit dans la liste ...