About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Hájek, Petr
Automatic listing of important observational statements. III. (English). Kybernetika, vol. 10 (1974), issue 2, pp. (95)-124
MSC: 02G10, 03D55, 68A40, 68T15 | MR 0416897 | Zbl 0289.68047
Related articles:
Automatic listing of important observational statements. II
Automatic listing of important observational statements. I
References:
[1] J. P. Cleave: The notion of logical consequence in the logic of inexact predicates. Zeitschr. f. Math. Logik (to appear). MR 0373828 | Zbl 0299.02015
[2] P. Hájek: Automatic Listing of Important Observational Statements I. Kybernetika 9 (1973), 187-205. MR 0401460
[3] P. Hájek: Automatic Listing of Important Observational Statements II. Kybernetika 9 (1973), 251-271. MR 0401461
[4] P. Hájek: Some logical problems of automated research. In: Math. Foundations of Computer Science (Proceedings), High Tatras 1973, 85-93. MR 0502331
[5] P. Hájek K. Bendová Z. Renc: The GUHA method and the three valued logic. Kybernetika 7 (1971), 421-435. MR 0324940
[6] S. Körner: Experience and theory. London 1966.
[7] C. R. Rao: Linear statistical inference and its applications. New York 1965. MR 0221616 | Zbl 0137.36203
Partner of
EuDML logo