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影響因子(影響力)學(xué)科排名




書目名稱RIMS Symposium on Software Science and Engineering II網(wǎng)絡(luò)公開度




書目名稱RIMS Symposium on Software Science and Engineering II網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱RIMS Symposium on Software Science and Engineering II被引頻次




書目名稱RIMS Symposium on Software Science and Engineering II被引頻次學(xué)科排名




書目名稱RIMS Symposium on Software Science and Engineering II年度引用




書目名稱RIMS Symposium on Software Science and Engineering II年度引用學(xué)科排名




書目名稱RIMS Symposium on Software Science and Engineering II讀者反饋




書目名稱RIMS Symposium on Software Science and Engineering II讀者反饋學(xué)科排名

積習(xí)已深

繼承人

寬敞

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