| Title:
|
The GUHA method and the three-valued logic (English) |
| Title:
|
Metoda GUHA a trojhodnotová logika (Czech) |
| Author:
|
Hájek, Petr |
| Author:
|
Bendová, Kamila |
| Author:
|
Renc, Zdeněk |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
7 |
| Issue:
|
6 |
| Year:
|
1971 |
| Pages:
|
(421)-435 |
| Summary lang:
|
Czech |
| . |
| Category:
|
math |
| . |
| MSC:
|
68A05 |
| MSC:
|
68T15 |
| idZBL:
|
Zbl 0232.68034 |
| idMR:
|
MR0324940 |
| . |
| Date available:
|
2009-09-24T16:21:06Z |
| Last updated:
|
2012-06-04 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125685 |
| . |
| Reference:
|
[1] P. Hájek I. Havel M. Chytil: GUHA - metoda automatického vyhledávání hypotéz.Kybernetika 2 (1966), 2, 31-47. MR 0202606 |
| Reference:
|
[2] P. Hájek I. Havel M. Chytil: GUHA - metoda automatického vyhledávání hypotéz II.Kybernetika 3 (1967), 2, 430-437. |
| Reference:
|
[3] P. Hájek: Pгoblém obecného pojetí metody GUHA.Kybernetika 4 (1968), 6, 505-515. |
| Reference:
|
[4] P. Hájek I. Havel M. Chytil: The GUHA method of automatic hypotheses determination.Computing 1 (1966), 4, 293-308. |
| Reference:
|
[5] S. C. Kleene: Introduction to metamathematics.Amsterdam 1952. Zbl 0047.00703, MR 0051790 |
| . |
