Geodesic
El papel de la heurística en la demostración automatizada de teoremas. El principio de resolución de J.A. Robinson.
Mathware & soft computing, Tome 3 (1996) no. 1-2 
Cordeschi, Roberto. El papel de la heurística en la demostración automatizada de teoremas. El principio de resolución de J.A. Robinson.. Mathware & soft computing, Tome 3 (1996) no. 1-2. http://geodesic.mathdoc.fr/item/MSC_1996_1996_1_a22/
@article{MSC_1996_1996_1_a22,
     author = {Cordeschi, Roberto},
     title = {El papel de la heur{\'\i}stica en la demostraci\'on automatizada de teoremas. {El} principio de resoluci\'on de {J.A.} {Robinson.}},
     journal = {Mathware & soft computing},
     pages = {281-293},
     year = {1996},
     volume = {3},
     number = {1-2},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MSC_1996_1996_1_a22/}
}
TY  - JOUR
AU  - Cordeschi, Roberto
TI  - El papel de la heurística en la demostración automatizada de teoremas. El principio de resolución de J.A. Robinson.
JO  - Mathware & soft computing
PY  - 1996
SP  - 281
EP  - 293
VL  - 3
IS  - 1-2
UR  - http://geodesic.mathdoc.fr/item/MSC_1996_1996_1_a22/
LA  - en
ID  - MSC_1996_1996_1_a22
ER  - 
%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
%U http://geodesic.mathdoc.fr/item/MSC_1996_1996_1_a22/
%G en
%F MSC_1996_1996_1_a22

Voir la notice de l'article provenant de la source Proyecto DML-E: Biblioteca Digital de Matemáticas