Des romans, livres de recettes et BD pour se régaler en famille !
Les travaux de Pascal Nicolas. Interrogation, induction et déduction automatiques pour le raisonnement non monotone... et plus encore, B. Duval, L. Garcia, C. Lefèvre, I. Stéphan - pp.11-38Étude comparative des relations d'inférence à partir de bases de croyances partiellement préordonnées, S. Benferhat, S. Yahi - pp.39-61Règles et métarègles en théorie des possibilités. De la logique possibiliste à la programmation par ensembles-réponses, D. Dubois, H. Prade, S. Schockaert - pp.63-83La logique modale des modèles d'équilibre, L. Farinas del Cerro, A. Herzig - pp.85-102Symétries et QBF, S. Jabbour, L. Sais - pp.103-125Changement de croyances et ASP, O. Papini, E. Würbel - pp.127-162Un panorama sur les procédures de décision séquentielles pour le problème de validité des formules booléennes quantifiées, I. Stéphan - pp.163-196
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Dernière réaction par Jean-Thomas ARA il y a 4 jours
Dernière réaction par RC de la Cluzze il y a 9 jours
Des romans, livres de recettes et BD pour se régaler en famille !
Découvrez 6 romans délicieusement horrifiques et tentez de les gagner...
Alice a quatorze ans quand elle est hospitalisée : un premier roman foudroyant
Yeong-ju est l’heureuse propriétaire d’une nouvelle librairie, située dans un quartier résidentiel de Séoul...