罗伯特·科瓦尔斯基 计算逻辑和人类思维。如何成为人工智能。 （英语） Zbl 1230.68021号 剑桥：剑桥大学出版社（ISBN 978-0-521-19482-2/hbk；978-0-5.21-12336-5/pbk）。xxii，第310页。(2011). 审核人：Manuel Bremer（杜塞尔多夫） MSC公司：68-02 68T27型 68T01型 03B70号 68立方英尺 68T50型 68T20型 68问题32 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kowalski}，计算逻辑和人类思维。如何成为人工智能。剑桥：剑桥大学出版社（2011；Zbl 1230.68021） 全文： 内政部
罗伯特·科瓦尔斯基 算法=逻辑+控制。 （英语） Zbl 0404.68010号 Commun公司。ACM公司 22, 424-436 (1979).MSC公司：68号01 68N25号 68问题65 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.Kowalski}，Commun（科瓦尔斯基）。ACM 22，424--436（1979；Zbl 0404.68010） 全文： 内政部
朱顶红Deliyanni;罗伯特·A·科瓦尔斯基。 逻辑和语义网络。 （英语） Zbl 0394.68063号 Commun公司。ACM公司 22, 184-192 (1979).MSC公司：68吨15 68问题65 68问题55 68T50型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Deliyanni}和\textit{R.A.Kowalski}，Commun。ACM 22，184--192（1979；Zbl 0394.68063） 全文： 内政部