%0 Journal Article %1 journals/ijmms/HajekH77 %A Hájek, Petr %A Havránek, Tomás %D 1977 %J Int. J. Man Mach. Stud. %K dblp %N 4 %P 415-438 %T On Generation of Inductive Hypotheses. %U http://dblp.uni-trier.de/db/journals/ijmms/ijmms9.html#HajekH77 %V 9

@article{journals/ijmms/HajekH77, added-at = {2020-05-15T00:00:00.000+0200}, author = {Hájek, Petr and Havránek, Tomás}, biburl = {https://www.bibsonomy.org/bibtex/233641b5e95c739f8b0c755daaebb58dd/dblp}, ee = {https://doi.org/10.1016/S0020-7373(77)80011-4}, interhash = {5e00f5fcafc380a2bbce0f34a6a54bd9}, intrahash = {33641b5e95c739f8b0c755daaebb58dd}, journal = {Int. J. Man Mach. Stud.}, keywords = {dblp}, number = 4, pages = {415-438}, timestamp = {2020-05-16T11:43:58.000+0200}, title = {On Generation of Inductive Hypotheses.}, url = {http://dblp.uni-trier.de/db/journals/ijmms/ijmms9.html#HajekH77}, volume = 9, year = 1977 }