原名:Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
作品简介:事实和观点 22, 28, 72, 6, 2]，在人工智能中解决 Prolog 中的耗尽问题 { 程序 SATCHMO { 被召回。第 4 节 作者感谢 Norbert Eisinger、Tim Geisler、Heribert Schutz 等。……
资源下载
VIP免费升级VIP
原名:Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
作品简介:事实和观点 22, 28, 72, 6, 2]，在人工智能中解决 Prolog 中的耗尽问题 { 程序 SATCHMO { 被召回。第 4 节 作者感谢 Norbert Eisinger、Tim Geisler、Heribert Schutz 等。……
