[The GUHA (General Unary Hypotheses Automaton) method of tracing of hypotheses].
D003201:Computers; D008128:Logic; D008433:Mathematics; D008962:Models, Theoretical; D011336:Probability
O metodĕ GUHA automatického vyhledávání hypothes.