D. Brand (brand-d)
Mentionné.e sur les pages du portail suivantes
Jenseits der RevolteContributions à Philosophie.ch
No contributions yet
Bibliography
Brand, D. 1976. “Analytic Resolution in Theorem Proving.” Artificial Intelligence 7(4): 285–318.