Wielemaker,简;法布里西奥·里古齐;罗伯特·A·科瓦尔斯基。;托比恩拉格;法里巴·萨德里;米盖尔·卡列霍 使用SWISH实现基于逻辑语言的交互式网络教程。 (英语) Zbl 1486.68029号 理论与实践。日志。程序。 19,第2期,229-261(2019).MSC公司:68N17号 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{J.Wielemaker}等人,《理论与实践》。日志。程序。19,第2号,229--261(2019;Zbl 1486.68029) 全文: 内政部 arXiv公司
卡西姆,阿内萨·M。 监测移动对象区域动态合成屏幕图像的形式化模型及其在面向web的地理信息系统中的实现。 (英语。俄文原件) Zbl 1366.68351号 赛博。系统。分析。 53,第1期,125-137(2017); 翻译自Kibern。修女。分析。2017年第1期,第145-159页(2017年)。MSC公司:68单位10 68英里11 68T45型 68单位35 PDF格式BibTeX公司 XML格式引用 \文本{A.M.Qasem},Cybern。系统。分析。53,第1号,第125-137条(2017;Zbl 1366.68351);翻译自Kibern。修女。分析。2017年第145-159号(2017) 全文: 内政部
托比恩拉格;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) 全文: 内政部 arXiv公司
贾纳·吉塞瓦;克里斯托夫·兰格;弗洛里安·拉贝 将web服务集成到活动数学文档中。 (英语) Zbl 1247.68314号 Carette,Jacques(编辑)等人,《智能计算机数学》。2009年7月6日至12日,在加拿大大本德举行了2009年第16届Calculemus研讨会,2009年第8届MKM国际会议,作为2009年CICM的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02613-3/pbk)。计算机科学课程讲稿5625。人工智能课堂讲稿,279-293(2009)。MSC公司:68单位35 PDF格式BibTeX公司 XML格式引用 \textit{J.Giceva}等人,Lect。注释计算。科学。5625279--293(2009年;Zbl 1247.68314) 全文: 内政部
新墨西哥州马加里乌。;尼格雷·卡西亚·克鲁托,L.L。;M.V.克罗托。 UML电子指南的开发方法。 (英语) Zbl 1113.68629号 计算。科学。J.模具。 14,第2期(41),239-250(2006).MSC公司:68单位35 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Magariu}等人,计算。科学。J.模具。14,第2号(41),239--250(2006;Zbl 1113.68629)
科斯塔·黑山,E。;González-Castaño,F.J。;加西亚·雷诺索,J。;Vales-Alonso,J。;阿尼多·里夫翁。 将网页推入个人数字助理:需求、工具和解决方案。 (英语) Zbl 1015.68763号 Paternó,Fabio(编辑),《移动设备的人机交互》。第四届国际研讨会,Mobile HCI 2002,意大利比萨,2002年9月18日至20日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第2411276-280页(2002年)。MSC公司:68单位99 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{E.Costa-Montengore}等人,Lect。注释计算。科学。2411、276--280(2002年;Zbl 1015.68763) 全文: 链接