Titlebook: RIMS Symposium on Software Science and Engineering II; Proceedings of the S Eichi Goto,Keijiro Araki,Taiichi Yuasa Conference proceedings 1

deflate

书目名称RIMS Symposium on Software Science and Engineering II影响因子(影响力)




书目名称RIMS Symposium on Software Science and Engineering II影响因子(影响力)学科排名




书目名称RIMS Symposium on Software Science and Engineering II网络公开度




书目名称RIMS Symposium on Software Science and Engineering II网络公开度学科排名




书目名称RIMS Symposium on Software Science and Engineering II被引频次




书目名称RIMS Symposium on Software Science and Engineering II被引频次学科排名




书目名称RIMS Symposium on Software Science and Engineering II年度引用




书目名称RIMS Symposium on Software Science and Engineering II年度引用学科排名




书目名称RIMS Symposium on Software Science and Engineering II读者反馈




书目名称RIMS Symposium on Software Science and Engineering II读者反馈学科排名

积习已深

继承人

宽敞

Irascible

,Incorporating Naïve Negation into Prolog,s and an execution algorithm for PPN as viewed from the standpoint of intuitionistic logic. Then, we present a knowledge assimilation system and show how PPN is suitable for such a system. These execution algorithms can be easily implemented similarly to existing Prolog systems.

mastoid-bone

凶残

,A fast parallel merging algorithm for 2–3 trees,ssors within O(log n) time. The consideration for the time complexity includes comparisons, allocation of processors, and construction of an output 2–3 tree. The algorithm is performed without read conflicts.

indicate

adequate-intake

干涉

A portable logic simulation system for development of FLATS machine,re than 33,000 ECL and partly TTL MSI chips. The themes of this paper are practice and experience in developing such a large machine as FLATS in the research laboratories of the university and the institute. PLS supports two simulation languages, HDL (Hardware Description Language) and SCL (Simulati