Les cookies assurent le bon fonctionnement de nos services. En utilisant ces derniers, vous acceptez l'utilisation des cookies.
Minicozzi, Eliana and
Reiter, Raymond. 1972.
“A Note on Linear Resolution Strategies in Consequence-Finding.” Artificial Intelligence 3(1–3): 175–180.