| Title:
|
Automatic listing of important observational statements. III (English) |
| Author:
|
Hájek, Petr |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
10 |
| Issue:
|
2 |
| Year:
|
1974 |
| Pages:
|
(95)-124 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02G10 |
| MSC:
|
03D55 |
| MSC:
|
68A40 |
| MSC:
|
68T15 |
| idZBL:
|
Zbl 0289.68047 |
| idMR:
|
MR0416897 |
| . |
| Date available:
|
2009-09-24T16:38:17Z |
| Last updated:
|
2012-06-04 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/124863 |
| . |
| Related article:
|
http://dml.cz/handle/10338.dmlcz/125389 |
| Related article:
|
http://dml.cz/handle/10338.dmlcz/125203 |
| . |
| Reference:
|
[1] J. P. Cleave: The notion of logical consequence in the logic of inexact predicates.Zeitschr. f. Math. Logik (to appear). Zbl 0299.02015, MR 0373828 |
| Reference:
|
[2] P. Hájek: Automatic Listing of Important Observational Statements I.Kybernetika 9 (1973), 187-205. MR 0401460 |
| Reference:
|
[3] P. Hájek: Automatic Listing of Important Observational Statements II.Kybernetika 9 (1973), 251-271. MR 0401461 |
| Reference:
|
[4] P. Hájek: Some logical problems of automated research.In: Math. Foundations of Computer Science (Proceedings), High Tatras 1973, 85-93. MR 0502331 |
| Reference:
|
[5] P. Hájek K. Bendová Z. Renc: The GUHA method and the three valued logic.Kybernetika 7 (1971), 421-435. MR 0324940 |
| Reference:
|
[6] S. Körner: Experience and theory.London 1966. |
| Reference:
|
[7] C. R. Rao: Linear statistical inference and its applications.New York 1965. Zbl 0137.36203, MR 0221616 |
| . |
