Les cookies assurent le bon fonctionnement de nos services. En utilisant ces derniers, vous acceptez l'utilisation des cookies.
Kowalski, Robert A. and
Kuehner, Donald. 1971.
“Linear Resolution with Selection Function.” Artificial Intelligence 2(3–4): 227–260.