INF242V: Cours de Prolog - CNRS
Cette définition correspond `a la correction totale : l'existence de ? assure la ... La logique temporelle a été introduite par cet article. Nous nous sommes.
Cette définition correspond `a la correction totale : l'existence de ? assure la ... La logique temporelle a été introduite par cet article. Nous nous sommes.