Kybernetika 2 no. 1, 31-47, 1966

GUHA - the method of systematical hypotheses searching

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

Classification:

02.80, 68T15, 03B05