| Title:
|
Formalized models of ontological systems (English) |
| Author:
|
Růžička, Milan |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
18 |
| Issue:
|
6 |
| Year:
|
1982 |
| Pages:
|
545-554 |
| . |
| Category:
|
math |
| . |
| MSC:
|
00A25 |
| MSC:
|
00A71 |
| MSC:
|
03B65 |
| MSC:
|
03C90 |
| MSC:
|
68Q45 |
| MSC:
|
68Q55 |
| MSC:
|
68U20 |
| MSC:
|
93A10 |
| idZBL:
|
Zbl 0505.93006 |
| idMR:
|
MR707400 |
| . |
| Date available:
|
2009-09-24T17:31:13Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/124850 |
| . |
| Reference:
|
[1] J. Beneš: Teorie systémů.Academia. Praha 1974. |
| Reference:
|
[2] J. Ježek: Univerzální algebra a teorie modelů.SNTL, Praha 1976. MR 0546057 |
| Reference:
|
[3] J. B. Novik: O modelirovanii složnych sistem.Moskva 1972. |
| Reference:
|
[4] 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. MR 0562373 |
| Reference:
|
[5] M. Růžička: Some fundamental notions of large variable systems.Kybernetika 17 (1981), 5, 435-450. |
| Reference:
|
[6] M. Růžička: Input-output systems, their types and applications for the automata theory.Kybernetika 18 (1982), 2, 131 - 144. MR 0679785 |
| Reference:
|
[7] R. Bek: Logika pro kurs automatizovaných systémů.ČVUT, Praha 1976. |
| . |
