。 。 。 “查尔斯·乔丹（Charles Jordan）和卢卡斯·凯泽（Lukasz Kaiser:Machine Learning with Guaranties using Descriptive Complexity and SMT Solvers.）（2016）”。 _：ID_fa9ae716a473821bd29112befaa6b7da。_：ID_fa9ae716a473821bd29112befaa6b7da 。_：ID_fa9ae716a473821bd29112befaa6b7da 。_：ID_fa9ae716a473821bd29112befaa6b7da“期刊/corr/JordanK16”。 _：ID_b305bc13507a67c8dd5a89043917352a。_：ID_b305bc13507a67c8dd5a89043917352a 。_：ID_b305bc13507a67c8dd5a89043917352a 。_：ID_b305bc13507a67c8dd5a89043917352a"1609.02664" . “使用描述性复杂性和SMT求解器的机器学习保证”。 。 。 。 "2"^^。 _：Sig_5833a1d94e4a11d73029cd81a47d4796_1。_：Sig_5833a1d94e4a11d73029cd81a47d4796_1 。_：Sig_5833a1d94e4a11d73029cd81a47d4796_1“查尔斯·乔丹”。_：Sig_5833a1d94e4a11d73029cd81a47d4796_1 。_：Sig_5833a1d94e4a11d73029cd81a47d4796_1"1"^^。_：Sig_5833a1d94e4a11d73029cd81a47d4796_1 。 _：Sig_5833a1d94e4a11d73029cd81a47d4796_2。_：Sig_5833a1d94e4a11d73029cd81a47d4796_2 。_：Sig_5833a1d94e4a11d73029cd81a47d4796_2“卢卡斯·凯撒”。_：Sig_5833a1d94e4a11d73029cd81a47d4796_2 。_：Sig_5833a1d94e4a11d73029cd81a47d4796_2"2"^^。_：Sig_5833a1d94e4a11d73029cd81a47d4796_2 。 。 。 。 “CoRR”。 “CoRR”。 “abs/1609.02664”。 "2016"^^。 “dblp记录'journals/corr/JordanK16'的RDF数据的起源信息”。 。 。 。 “2018-08-13T16:46:38+0200”。