Metodej K. Chytil

Publication Activity (10 Years)

Years Active: 1966-1982
Publications (10 Years): 0

Publications

Metodej K. Chytil
Computational Linguistics And Its Role In Mechanized Or Man-Machine Cognitive Problem Solving. COLING (1982)
Metodej K. Chytil
Sémantique des formules logiques en forme d'équivalence n-aire (demi-modèles). Notre Dame J. Formal Log. 18 (3) (1977)
Petr Hájek, Ivan Havel, Metodej K. Chytil
The GUHA method of systematical hypotheses searching. II. Kybernetika 3 (5) (1967)
Petr Hájek, Ivan Havel, Metodej K. Chytil
The GUHA method of automatic hypotheses determination. Computing 1 (4) (1966)
Petr Hájek, Ivan Havel, Metodej K. Chytil
GUHA - the method of systematical hypotheses searching. Kybernetika 2 (1) (1966)