Kybernetika 3 no. 5, 430-437, 1967

The GUHA method of systematical hypotheses searching. II

Petr Hájek, Ivan Havel and Metoděj Chytil

Classification:

68T15, 03B05