ellagic-acid 发表于 2025-3-26 23:34:13

Conference proceedings 1987language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries.

GRE 发表于 2025-3-27 01:53:31

http://reply.papertrans.cn/59/5879/587899/587899_32.png

ODIUM 发表于 2025-3-27 07:48:32

Inheritance hierarchy mechanism in prolog,H structure, such as the exclusiveness among brother classes in IH. CBVs and the fast unification method improve the inferential efficiency greatly by suppressing combinatorial explosions, which might be caused by exhaustive searches in the inference in other systems.

寡头政治 发表于 2025-3-27 10:55:36

http://reply.papertrans.cn/59/5879/587899/587899_34.png

带子 发表于 2025-3-27 15:42:51

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/587899.jpg

原谅 发表于 2025-3-27 18:14:01

http://reply.papertrans.cn/59/5879/587899/587899_36.png

Implicit 发表于 2025-3-27 23:05:38

http://reply.papertrans.cn/59/5879/587899/587899_37.png

孤僻 发表于 2025-3-28 03:31:54

Logic Programming ‘86978-3-540-47712-9Series ISSN 0302-9743 Series E-ISSN 1611-3349

strain 发表于 2025-3-28 06:47:08

http://reply.papertrans.cn/59/5879/587899/587899_39.png

forthy 发表于 2025-3-28 12:50:15

http://reply.papertrans.cn/59/5879/587899/587899_40.png
页: 1 2 3 [4] 5 6
查看完整版本: Titlebook: Logic Programming ‘86; Proceedings of the 5 Eiiti Wada Conference proceedings 1987 Springer-Verlag Berlin Heidelberg 1987 Extension.Prolog.