Journals in DBLP
Tosio Kitagawa Culture Creation and a New Generation Computer System. [Citation Graph (0, 0)][DBLP ] Journal ] John Alan Robinson Logic Programming - Past, Present and Future. [Citation Graph (1, 0)][DBLP ] Journal ] Minoru Yokota , Akira Yamamoto , Kazuo Taki , Hiroshi Nishikawa , Shunichi Uchida The Design and Implementation of a Personal Sequential Inference Machine: PSI. [Citation Graph (1, 0)][DBLP ] Journal ] Yuji Matsumoto , Hozumi Tanaka , Hideki Hirakawa , Hideo Miyoshi , Hideki Yasukawa BUP: A Bottom-Up Parser Embedded in Prolog. [Citation Graph (0, 0)][DBLP ] Journal ] Mitsuru Ishizuka Inference Methods Based on Extended Dempster & Shafer's Theory for Problems with Uncertainty/Fuzziness. [Citation Graph (0, 0)][DBLP ] Journal ] Koichi Furukawa , Reiji Nakajima , Akinori Yonezawa Modularization and Abstraction in Logic Programming. [Citation Graph (0, 0)][DBLP ] Journal ] Hozumi Tanaka , Hitoshi Isahara , Hideki Yasukawa An English-Japanese Machine Translation System Using the Active Dictionary. [Citation Graph (0, 0)][DBLP ] Journal ] Takao Uehara , Nobuaki Kawato Logic Circuit Synthesis Using Prolog. [Citation Graph (0, 0)][DBLP ] Journal ] Masahiro Fujita , Hidehiko Tanaka , Tohru Moto-Oka Temporal Logic Based Hardware Description and Its Verification with Prolog. [Citation Graph (0, 0)][DBLP ] Journal ] Hozumi Hamada URR: Universal Representation of Real Numbers. [Citation Graph (0, 0)][DBLP ] Journal ] 