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

Article

First Page Preview
Havránek, Tomáš
Automatické formování hypotéz metodou GUHA - teorie a aplikace. (Czech) [Automatic hypothesis formation by the GUHA method - theory and application]. Pokroky matematiky, fyziky a astronomie, vol. 26 (1981), issue 3, pp. 136-150,151
MSC: 03B99, 03C99, 62-07, 68G20, 68U99 | MR 0633640 | Zbl 0474.62007
Partner of
EuDML logo