Automatic listing of important observational statements. III
Kybernetika (1974)
- Volume: 10, Issue: 2, page (95)-124
- ISSN: 0023-5954
Access Full Article
top
How to cite
topHájek, Petr. "Automatic listing of important observational statements. III." Kybernetika 10.2 (1974): (95)-124. <http://eudml.org/doc/28018>.
@article{Hájek1974,
author = {Hájek, Petr},
journal = {Kybernetika},
language = {eng},
number = {2},
pages = {(95)-124},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Automatic listing of important observational statements. III},
url = {http://eudml.org/doc/28018},
volume = {10},
year = {1974},
}
TY - JOUR
AU - Hájek, Petr
TI - Automatic listing of important observational statements. III
JO - Kybernetika
PY - 1974
PB - Institute of Information Theory and Automation AS CR
VL - 10
IS - 2
SP - (95)
EP - 124
LA - eng
UR - http://eudml.org/doc/28018
ER -
References
top- J. P. Cleave, The notion of logical consequence in the logic of inexact predicates, Zeitschr. f. Math. Logik (to appear). Zbl0299.02015MR0373828
- P. Hájek, Automatic Listing of Important Observational Statements I, Kybernetika 9 (1973), 187-205. (1973) MR0401460
- P. Hájek, Automatic Listing of Important Observational Statements II, Kybernetika 9 (1973), 251-271. (1973) MR0401461
- P. Hájek, Some logical problems of automated research, In: Math. Foundations of Computer Science (Proceedings), High Tatras 1973, 85-93. (1973) MR0502331
- P. Hájek K. Bendová Z. Renc, The GUHA method and the three valued logic, Kybernetika 7 (1971), 421-435. (1971) MR0324940
- S. Körner, Experience and theory, London 1966. (1966)
- C. R. Rao, Linear statistical inference and its applications, New York 1965. (1965) Zbl0137.36203MR0221616
Citations in EuDML Documents
topNotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.