Formalized models of ontological systems
Kybernetika (1982)
- Volume: 18, Issue: 6, page 545-554
- ISSN: 0023-5954
Access Full Article
top
How to cite
topRůžička, Milan. "Formalized models of ontological systems." Kybernetika 18.6 (1982): 545-554. <http://eudml.org/doc/28005>.
@article{Růžička1982,
author = {Růžička, Milan},
journal = {Kybernetika},
keywords = {ontological systems; formalized models},
language = {eng},
number = {6},
pages = {545-554},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Formalized models of ontological systems},
url = {http://eudml.org/doc/28005},
volume = {18},
year = {1982},
}
TY - JOUR
AU - Růžička, Milan
TI - Formalized models of ontological systems
JO - Kybernetika
PY - 1982
PB - Institute of Information Theory and Automation AS CR
VL - 18
IS - 6
SP - 545
EP - 554
LA - eng
KW - ontological systems; formalized models
UR - http://eudml.org/doc/28005
ER -
References
top- J. Beneš, Teorie systémů, Academia. Praha 1974. (1974)
- J. Ježek, Univerzální algebra a teorie modelů, SNTL, Praha 1976. (1976) MR0546057
- J. B. Novik, O modelirovanii složnych sistem, Moskva 1972. (1972)
- R. Bek M. Růžička, On modelling of large variable systems of higher order by means of language systems, Kybernetika 15 (1979), 6, 408-418. (1979) MR0562373
- M. Růžička, Some fundamental notions of large variable systems, Kybernetika 17 (1981), 5, 435-450. (1981)
- M. Růžička, Input-output systems, their types and applications for the automata theory, Kybernetika 18 (1982), 2, 131 - 144. (1982) MR0679785
- R. Bek, Logika pro kurs automatizovaných systémů, ČVUT, Praha 1976. (1976)
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.