Petr Hájek , Tomáš Havránek Mechanizing Hypothesis Formation Mathematical Foundations for a General Theory

@inproceedings{Hjek2002PetrH,
  title={Petr H{\'a}jek , Tom{\'a}{\vs} Havr{\'a}nek Mechanizing Hypothesis Formation Mathematical Foundations for a General Theory},
  author={Petr H{\'a}jek and Tom{\'a}{\vs} Ir{\vs}ov{\'a} Havr{\'a}nek},
  year={2002}
}
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 578 citations. REVIEW CITATIONS

Topics

Statistics

050100'02'04'06'08'10'12'14'16'18
Citations per Year

579 Citations

Semantic Scholar estimates that this publication has 579 citations based on the available data.

See our FAQ for additional information.