Geodesic
Automatic listing of important observational statements. III
Kybernetika, Tome 10 (1974) no. 2, pp. 95-124

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR Zbl
Classification : 02G10, 03D55, 68A40, 68T15 
Hájek, Petr. Automatic listing of important observational statements. III. Kybernetika, Tome 10 (1974) no. 2, pp. 95-124. http://geodesic.mathdoc.fr/item/KYB_1974_10_2_a2/
@article{KYB_1974_10_2_a2,
     author = {H\'ajek, Petr},
     title = {Automatic listing of important observational statements. {III}},
     journal = {Kybernetika},
     pages = {95--124},
     year = {1974},
     volume = {10},
     number = {2},
     mrnumber = {0416897},
     zbl = {0289.68047},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1974_10_2_a2/}
}
TY  - JOUR
AU  - Hájek, Petr
TI  - Automatic listing of important observational statements. III
JO  - Kybernetika
PY  - 1974
SP  - 95
EP  - 124
VL  - 10
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/KYB_1974_10_2_a2/
LA  - en
ID  - KYB_1974_10_2_a2
ER  - 
%0 Journal Article
%A Hájek, Petr
%T Automatic listing of important observational statements. III
%J Kybernetika
%D 1974
%P 95-124
%V 10
%N 2
%U http://geodesic.mathdoc.fr/item/KYB_1974_10_2_a2/
%G en
%F KYB_1974_10_2_a2

[1] J. P. Cleave: The notion of logical consequence in the logic of inexact predicates. Zeitschr. f. Math. Logik (to appear). | MR | Zbl

[2] P. Hájek: Automatic Listing of Important Observational Statements I. Kybernetika 9 (1973), 187-205. | MR

[3] P. Hájek: Automatic Listing of Important Observational Statements II. Kybernetika 9 (1973), 251-271. | MR

[4] P. Hájek: Some logical problems of automated research. In: Math. Foundations of Computer Science (Proceedings), High Tatras 1973, 85-93. | MR

[5] P. Hájek K. Bendová Z. Renc: The GUHA method and the three valued logic. Kybernetika 7 (1971), 421-435. | MR

[6] S. Körner: Experience and theory. London 1966.

[7] C. R. Rao: Linear statistical inference and its applications. New York 1965. | MR | Zbl