%0 Journal Article
%A Cordeschi, Roberto
%T El papel de la heurística en la demostración automatizada de teoremas. El principio de resolución de J.A. Robinson.
%J Mathware & soft computing
%D 1996
%P 281-293
%V 3
%N 1-2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MSC_1996_1996_1_a22/
%G en
%F MSC_1996_1996_1_a22