Geodesic
Proof search without repeated examination of subgoals
Doklady Akademii Nauk, Tome 286 (1986) no. 5, pp. 1065-1068.

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{DAN_1986_286_5_a9,
     author = {V. S. Neiman},
     title = {Proof search without repeated examination of subgoals},
     journal = {Doklady Akademii Nauk},
     pages = {1065--1068},
     publisher = {mathdoc},
     volume = {286},
     number = {5},
     year = {1986},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DAN_1986_286_5_a9/}
}
TY  - JOUR
AU  - V. S. Neiman
TI  - Proof search without repeated examination of subgoals
JO  - Doklady Akademii Nauk
PY  - 1986
SP  - 1065
EP  - 1068
VL  - 286
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1986_286_5_a9/
LA  - ru
ID  - DAN_1986_286_5_a9
ER  - 
%0 Journal Article
%A V. S. Neiman
%T Proof search without repeated examination of subgoals
%J Doklady Akademii Nauk
%D 1986
%P 1065-1068
%V 286
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1986_286_5_a9/
%G ru
%F DAN_1986_286_5_a9
V. S. Neiman. Proof search without repeated examination of subgoals. Doklady Akademii Nauk, Tome 286 (1986) no. 5, pp. 1065-1068. http://geodesic.mathdoc.fr/item/DAN_1986_286_5_a9/