Geodesic
The GUHA method and the three-valued logic
Kybernetika, Tome 7 (1971) no. 6, pp. 421-435 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 68A05, 68T15 
@article{KYB_1971_7_6_a0,
     author = {H\'ajek, Petr and Bendov\'a, Kamila and Renc, Zden\v{e}k},
     title = {The {GUHA} method and the three-valued logic},
     journal = {Kybernetika},
     pages = {421--435},
     year = {1971},
     volume = {7},
     number = {6},
     mrnumber = {0324940},
     zbl = {0232.68034},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1971_7_6_a0/}
}
TY  - JOUR
AU  - Hájek, Petr
AU  - Bendová, Kamila
AU  - Renc, Zdeněk
TI  - The GUHA method and the three-valued logic
JO  - Kybernetika
PY  - 1971
SP  - 421
EP  - 435
VL  - 7
IS  - 6
UR  - http://geodesic.mathdoc.fr/item/KYB_1971_7_6_a0/
LA  - en
ID  - KYB_1971_7_6_a0
ER  - 
%0 Journal Article
%A Hájek, Petr
%A Bendová, Kamila
%A Renc, Zdeněk
%T The GUHA method and the three-valued logic
%J Kybernetika
%D 1971
%P 421-435
%V 7
%N 6
%U http://geodesic.mathdoc.fr/item/KYB_1971_7_6_a0/
%G en
%F KYB_1971_7_6_a0
Hájek, Petr; Bendová, Kamila; Renc, Zdeněk. The GUHA method and the three-valued logic. Kybernetika, Tome 7 (1971) no. 6, pp. 421-435. http://geodesic.mathdoc.fr/item/KYB_1971_7_6_a0/

[1] P. Hájek I. Havel M. Chytil: GUHA - metoda automatického vyhledávání hypotéz. Kybernetika 2 (1966), 2, 31-47. | MR

[2] P. Hájek I. Havel M. Chytil: GUHA - metoda automatického vyhledávání hypotéz II. Kybernetika 3 (1967), 2, 430-437.

[3] P. Hájek: Pгoblém obecného pojetí metody GUHA. Kybernetika 4 (1968), 6, 505-515.

[4] P. Hájek I. Havel M. Chytil: The GUHA method of automatic hypotheses determination. Computing 1 (1966), 4, 293-308.

[5] S. C. Kleene: Introduction to metamathematics. Amsterdam 1952. | MR | Zbl