default search action
New Generation Computing, Volume 1, 1983
Volume 1, Number 1, 1983
- Tohru Moto-Oka:
On the Founding of This Journal. 1-2 - Kazuhiro Fuchi:
The Direction the FGCS Project Will Take. 3-9 - Takashi Chikayama:
ESP - Extended Self-contained PROLOG - as a Preliminary Kernel Language of Fifth Generation Computers. 11-24 - Ehud Shapiro, Akikazu Takeuchi:
Object Oriented Programming in Concurrent Prolog. 25-48 - Hideyuki Nakashima, Norihisa Suzuki:
Data Abstraction in Prolog/KR. 49-62 - Masaru Kitsuregawa, Hidehiko Tanaka, Tohru Moto-Oka:
Application of Hash to Data Base Machine and Its Architecture. 63-74 - Shunichi Uchida, Minoru Yokota, Akira Yamamoto, Kazuo Taki, Hiroshi Nishikawa:
Outline of the Personal Sequential Inference Machine: PSI. 75-79 - Takashi Hattori, Toshio Yokoi:
Basic Constructs of the SIM Operating System. 81-85 - Hitoshi Aida, Hidehiko Tanaka, Tohru Moto-Oka:
A Prolog Extension for Handling Negative Knowledge. 87-91 - Hisao Tamaki, Taisuke Sato
:
Program Transformation Through Meta-shifting. 93-98 - Fumio Mizoguchi:
PROLOG Based Expert System. 99-104
Volume 1, Number 2, 1983
- Tosio Kitagawa:
Culture Creation and a New Generation Computer System. 105-106 - John Alan Robinson:
Logic Programming - Past, Present and Future. 107-124 - Minoru Yokota, Akira Yamamoto, Kazuo Taki, Hiroshi Nishikawa, Shunichi Uchida:
The Design and Implementation of a Personal Sequential Inference Machine: PSI. 125-144 - Yuji Matsumoto, Hozumi Tanaka, Hideki Hirakawa, Hideo Miyoshi, Hideki Yasukawa:
BUP: A Bottom-Up Parser Embedded in Prolog. 145-158 - Mitsuru Ishizuka:
Inference Methods Based on Extended Dempster & Shafer's Theory for Problems with Uncertainty/Fuzziness. 159-168 - Koichi Furukawa, Reiji Nakajima, Akinori Yonezawa:
Modularization and Abstraction in Logic Programming. 169-177 - Hozumi Tanaka, Hitoshi Isahara, Hideki Yasukawa:
An English-Japanese Machine Translation System Using the Active Dictionary. 179-185 - Takao Uehara, Nobuaki Kawato:
Logic Circuit Synthesis Using Prolog. 187-193 - Masahiro Fujita, Hidehiko Tanaka, Tohru Moto-Oka:
Temporal Logic Based Hardware Description and Its Verification with Prolog. 195-203 - Hozumi Hamada:
URR: Universal Representation of Real Numbers. 205-209
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-27 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: