Les cookies assurent le bon fonctionnement de nos services. En utilisant ces derniers, vous acceptez l'utilisation des cookies.
Joslin, David and
Roach, John. 1989.
“A Theoretical Analysis of Conjunctive-Goal Problems.” Artificial Intelligence 41(1): 97–106.
Siklóssy, L. and
Roach, John. 1975.
“Model Verification and Improvement Using DISPROVER.” Artificial Intelligence 6(1): 41–52.