幼儿保育和教育 swMATH ID: 4196 软件作者： Leuschel，M.、Martens，B.和De Schreye，D 描述： 幼儿保育和教育是一个针对纯Prolog程序（带有内置程序）的自动在线程序专家。它需要一个纯Prolog程序和一个感兴趣的查询，然后专门为该特定查询编写程序。 主页： http://citeseerx.ist.psu.edu/viewdoc/download？doi=10.1.1.43.8259&rep=rep1&type=pdf 相关软件： DPPD公司;LOGEN公司;水银;巴贝尔;Ciao公司;玩具;莫德;CiaoPP公司;XSB公司;z3（零3）;内核LEAF;莫德-NPA;NRL公司;MTT公司;PPL（公私合营）;数学SAT5;示踪剂;伊莎贝尔;高超声速;OBJ咖啡馆 引用于： 64文件 全部的 前5名70位作者引用 20 Michael Leuschel先生 12 德国维达尔 8 艾尔维拉·阿尔伯特 8 阿尔贝托·佩特罗西 8 毛里齐奥·普罗埃蒂 6 法比奥·菲奥拉万蒂 5 丹尼·德·施雷耶 5 圣地亚哥埃斯科瓦尔 5 约翰·加拉赫（John P.Gallagher）。 5 德国普埃布拉 4 莫里斯·布吕诺格 4 伊曼纽尔·德·安吉利斯 4 迈克尔·哈纳斯 4 温·范霍夫 三 玛丽亚·阿尔普特 三 斯蒂芬·克雷格 三 曼努埃尔五世（Manuel V.Hermenegildo）。 三 杰斯珀·约根森 三 赫尔科·莱曼 三 何塞·梅塞盖尔·瓜伊塔 三 普拉桑纳·塔蒂 2 黛米斯·巴利斯 2 罗伯特·格莱克 2 米盖尔·戈梅斯·扎马洛亚 2 伯尔尼马滕斯 2 克劳迪奥·奥乔亚 2 朱利奥·佩拉尔塔。 2 朱莉娅·萨皮娜 2 瓦莱里奥·塞尼 2 席尔瓦，约瑟夫 1 清崎阿卡玛 1 阿隆索、何塞·安东尼奥 1 古斯塔沃·阿罗约 1 Steve巴克 1 加里·布莱克。 1 卡尔·弗里德里希·博尔兹 1 米兰达卡拉汉 1 雅克·卡雷特 1 劳斯·克劳森 1 安德烈·德瓦尔。 1 马克·德内克 1 布雷特·迪迪埃 1 丹·埃尔菲克 1 福村义彦 1 阿恩·约翰·格伦斯特鲁普 1 斯特凡·格鲁纳 1 玛丽亚·何塞·伊达尔戈 1 Hrůza，一月 1 尼尔·D·琼斯。 1 萨姆·卡明 1 Hidekatsu Koike 1 迈克尔·库塞拉 1 萨尔瓦多卢卡斯 1 Martín-Mateos，Francisco-Jesüs 1 蒂埃里·雅克·马萨特 1 埃卡维特·南塔吉瓦拉瓦特 1 文森特·奈斯 1 罗马克里希南，C.R。 1 J.瓜达卢佩·拉莫斯 1 苏菲·雷诺 1 阿明·里戈 1 阿比克·罗伊乔杜里 1 何塞·路易斯·鲁伊斯·雷纳 1 凯伦·舒查特 1 亚历山大·谢列布雷尼克 1 宋丽通 1 索伦森，莫滕·海涅B。 1 亨克·范德卡斯泰尔 1 毛里西奥·瓦雷亚 1 贡萨古·耶尔瑙斯 全部的 前5名13篇连载文章中引用 11 逻辑程序设计理论与实践 三 高阶和符号计算 2 逻辑程序设计杂志 2 函数与逻辑编程杂志 1 信息处理信件 1 计算机程序设计科学 1 新一代计算 1 信息与计算 1 自动推理杂志 1 计算的形式方面 1 欧洲理论计算机科学协会公报 1 并行与计算：实践与经验 1 程序设计中的逻辑与代数方法杂志 在3个字段中引用 63 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 数值分析（65-XX） 按年份列出的引文