桑杰·贾恩;Efim金伯;弗兰克·斯蒂芬 从正面数据和负面反例中自动学习。 (英语) Zbl 1377.68096号 Inf.计算。 255,第1部分,45-67(2017). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:68问题32 19年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jain}等人,《信息计算》。255,第1部分,45-67(2017;Zbl 1377.68096) 全文: 内政部
凯斯,约翰;塞缪尔·莫利乌斯(Samuel E.III Moelius) 在建设性Scott子域中规划自我参考。 (英语) Zbl 1285.03053号 理论计算。系统。 51,第1期,22-49(2012).MSC公司:03D20日 03D45号 06B35号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}和\textit{S.E.Moelius III},理论计算。系统。51,编号1,22-49(2012年;兹bl 1285.03053) 全文: 内政部
凯斯,约翰;塞缪尔·莫利乌斯(Samuel E.Moelius)。 在建设性Scott子域中规划自我参考。 (英语) Zbl 1266.03051号 Ambos-Spies,Klaus(编辑)等人,《数学理论与计算实践》。2009年7月19日至24日,德国海德堡,第五届欧洲可计算性会议,CiE 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03072-7/pbk)。计算机科学讲座笔记5635,89-98(2009)。MSC公司:03D20日 03D45号 06B35号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}和\textit{S.E.Moelius},莱克特。注释计算。科学。5635、89--98(2009年;Zbl 1266.03051) 全文: 内政部