About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Hájek, Petr ; Havel, Ivan ; Chytil, Metoděj
GUHA - metoda systematického vyhledávání hypotéz. (Czech) [GUHA - the method of systematical hypotheses searching]. Kybernetika, vol. 2 (1966), issue 1, pp. (31)-47
MSC: 02.80, 03B05, 68T15 | MR 0202606 | Zbl 0316.68049
Related articles:
GUHA - metoda systematického vyhledávání hypotéz. II
References:
[1] B. M. Глушков: Синтез цифровых автоматов. Физматгиз, Москва 1962. Zbl 1005.68507
[2] A. Grzegorczyk: Zarys logiki matematycznej. PWN, Warszawa 1961. MR 0151362
[3] J. Zelenka O. Zich: Matematisch-logisches Modell der Vestibular- und Gehörstörungen. Rozpravy ČSAV 75, (1965), sešit 9.
Partner of
EuDML logo