| Title:
|
GUHA - metoda systematického vyhledávání hypotéz (Czech) |
| Title:
|
GUHA - the method of systematical hypotheses searching (English) |
| Author:
|
Hájek, Petr |
| Author:
|
Havel, Ivan |
| Author:
|
Chytil, Metoděj |
| Language:
|
Czech |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
2 |
| Issue:
|
1 |
| Year:
|
1966 |
| Pages:
|
(31)-47 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| MSC:
|
02.80 |
| MSC:
|
03B05 |
| MSC:
|
68T15 |
| idZBL:
|
Zbl 0316.68049 |
| idMR:
|
MR0202606 |
| . |
| Date available:
|
2009-09-24T15:38:45Z |
| Last updated:
|
2012-06-04 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125332 |
| . |
| Related article:
|
http://dml.cz/handle/10338.dmlcz/124365 |
| . |
| Reference:
|
[1] B. M. Глушков: Синтез цифровых автоматов.Физматгиз, Москва 1962. Zbl 1005.68507 |
| Reference:
|
[2] A. Grzegorczyk: Zarys logiki matematycznej.PWN, Warszawa 1961. MR 0151362 |
| Reference:
|
[3] J. Zelenka O. Zich: Matematisch-logisches Modell der Vestibular- und Gehörstörungen.Rozpravy ČSAV 75, (1965), sešit 9. |
| . |
