Wielemaker,简;法布里西奥·里古齐;罗伯特·A·科瓦尔斯基。;托比恩拉格;法里巴·萨德里;米盖尔·卡列霍 使用SWISH实现基于逻辑语言的交互式网络教程。 (英语) Zbl 1486.68029号 理论与实践。日志。程序。 第229-261号第19页(2019年).MSC公司:68N17号 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{J.Wielemaker}等人,《理论与实践》。日志。程序。19,第2号,229--261(2019;Zbl 1486.68029) 全文: DOI程序 arXiv公司
托比恩拉格;Wielemaker,简 Pengines:网络逻辑编程变得很容易。 (英语) Zbl 1307.68018号 理论与实践。日志。程序。 14,No.4-5,539-552(2014).MSC公司:68N17号 第68页第15页 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{T.Lager}和\textit{J.Wielemaker},理论与实践。日志。程序。14、编号4--5、539--552(2014;Zbl 1307.68018) 全文: DOI程序 arXiv公司