Calcul de conséquences dans un système d'inférence pair-à-pair propositionnel (revisité)

TitleCalcul de conséquences dans un système d'inférence pair-à-pair propositionnel (revisité)
Publication TypeConference Paper
Year of Publication2008
AuthorsAbdallah, N, Goasdoué, F
Conference NameActes de la Conférence Francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA)