STENT 发表于 2025-3-25 05:13:22

7楼

彻底检查 发表于 2025-3-25 08:54:52

7楼

laceration 发表于 2025-3-25 12:13:00

7楼

PURG 发表于 2025-3-25 19:34:26

7楼

fatty-acids 发表于 2025-3-25 21:42:01

8楼

Delectable 发表于 2025-3-26 02:35:06

8楼

slipped-disk 发表于 2025-3-26 06:31:02

8楼

整体 发表于 2025-3-26 10:34:54

On the Efficient Implementation of Mode-Directed Tabling,ine support for them. Experimental results, in the context of benchmarks taking advantage of mode-directed tabling, show that our implementation compares favorably with the B-Prolog and XSB state-of-the-art tabling systems.

逃避责任 发表于 2025-3-26 14:46:05

http://reply.papertrans.cn/91/9022/902185/902185_29.png

平息 发表于 2025-3-26 19:01:08

http://reply.papertrans.cn/91/9022/902185/902185_30.png
页: 1 2 [3] 4
查看完整版本: Titlebook: Technologie der Werkstoffe; für Studenten des Ma Jürgen Ruge Book 1979Latest edition Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunsc