Automatic listing of important observational statements. II
Kybernetika (1973)
- Volume: 09, Issue: 4, page (251)-271
- ISSN: 0023-5954
Access Full Article
topHow to cite
topHájek, Petr. "Automatic listing of important observational statements. II." Kybernetika 09.4 (1973): (251)-271. <http://eudml.org/doc/28544>.
@article{Hájek1973,
author = {Hájek, Petr},
journal = {Kybernetika},
language = {eng},
number = {4},
pages = {(251)-271},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Automatic listing of important observational statements. II},
url = {http://eudml.org/doc/28544},
volume = {09},
year = {1973},
}
TY - JOUR
AU - Hájek, Petr
TI - Automatic listing of important observational statements. II
JO - Kybernetika
PY - 1973
PB - Institute of Information Theory and Automation AS CR
VL - 09
IS - 4
SP - (251)
EP - 271
LA - eng
UR - http://eudml.org/doc/28544
ER -
References
top- R. Carnap, The methodological character of theoretica concepts, In: Minnesota Studies in the Philosophy of Science, vol. I, pp. 38-76 (1956). (1956)
- A. Church, Introduction to mathematical logic. I, Princeton University Press 1956. (1956) Zbl0073.24301MR0010511
- M. Davis, Computability and unsolvability, McGraw-Hill Comp. 1958. (1958) Zbl0080.00902MR0124208
- Ю. В. Матиясевич, Диофантность перечислимых множеств, Доклады AH CCCP 191 (1970), 279-282. (191) MR0258744
- K. Popper, Epistemology without a knowing subject, In: Logic, Methodology and Philosophy of Science III (eds. B. van Rootselaar, J. F. Staal). North-Holland 1968. (1968) MR0246743
- P. Hájek I. Havel M. Chytil, GUHA - metoda automatického vyhledávání hypotéz I, Kybernetika 2 (1966) 1, 31-47. II - ibidem 3 (1967), 5, 430-437. (1966) MR0202606
- P. Hájek I. Havel M. Chytil, The GUHA method of automatic hypotheses determination, Computing 1 (1966), 293-308. (1966)
- P. Hájek, Problém obecného pojetí metody GUHA, Kybernetika 4 (1968), 6, 505-515. (1968)
- P. Hájek K. Bendová Z. Renc, The GUHA method and the three-valued logic, Kybernetika 7 (1971), 6, 421-435. (1971) MR0324940
- T. Havránek, The statistical modification and interpretation of the GUHA method, Kybernetika 7 (1971), 1, 13-21. (1971) MR0287746
- P. Hájek, General semantic systems and automatic listing interesting observational statements, (10 pages; distributed at the IV. Congress for Logic, Methodology and Philosophy of Science, Bucarest 1971.) (1971)
- P. Hájek, The GUHA method and nominal quantities, (in preparation).
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.