About DML-CZ
|
FAQ
|
Conditions of Use
|
Math Archives
|
Contact Us
DML-CZ Home
Pokroky matematiky, fyziky a astronomie
Author: Havránek, Tomáš
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
Search
Search
This Community
Advanced Search
Browse
Collections
Titles
Authors
MSC
About DML-CZ
Partner of