Geodesic
Deduction search in calculi of general type
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part V, Tome 32 (1972), pp. 59-65 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice du chapitre de livre

Some ideas and methods of the automatization of proofs are applied to an analysis of heuristics processes. The general theory of calculuses is chosen as a tool of the analysis. Most of the mathematical results are formulated for Post canonical systems. 
@article{ZNSL_1972_32_a8,
     author = {S. Yu. Maslov},
     title = {Deduction search in calculi of general type},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {59--65},
     year = {1972},
     volume = {32},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1972_32_a8/}
}
TY  - JOUR
AU  - S. Yu. Maslov
TI  - Deduction search in calculi of general type
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1972
SP  - 59
EP  - 65
VL  - 32
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1972_32_a8/
LA  - ru
ID  - ZNSL_1972_32_a8
ER  - 
%0 Journal Article
%A S. Yu. Maslov
%T Deduction search in calculi of general type
%J Zapiski Nauchnykh Seminarov POMI
%D 1972
%P 59-65
%V 32
%U http://geodesic.mathdoc.fr/item/ZNSL_1972_32_a8/
%G ru
%F ZNSL_1972_32_a8
S. Yu. Maslov. Deduction search in calculi of general type. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part V, Tome 32 (1972), pp. 59-65. http://geodesic.mathdoc.fr/item/ZNSL_1972_32_a8/