R.J.所罗门诺夫。 归纳推理的形式理论。一、。 (英语) Zbl 0258.68045号 通知。和控制 7, 1-22 (1964). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于5评论引用于169文件 MSC公司: 68吨15 定理证明(演绎、解析等)(MSC2010) PDF格式BibTeX公司 XML格式引用 \textit{R.J.Solomonoff},信息控制7,1--22(1964;Zbl 0258.68045) 全文: DOI程序