姑姑在炫耀
发表于 2025-3-30 08:30:32
0302-9743 ions. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committ978-3-540-67797-0978-3-540-44957-7Series ISSN 0302-9743 Series E-ISSN 1611-3349
忧伤
发表于 2025-3-30 12:32:42
Conference proceedings 2000nd Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committ
Traumatic-Grief
发表于 2025-3-30 19:28:17
https://doi.org/10.1007/3-540-44957-4Automat; Extension; automated deduction; knowledge; knowledge representation; logic; nonmonotonic reasonin
独轮车
发表于 2025-3-31 00:21:47
http://reply.papertrans.cn/24/2327/232634/232634_54.png
不满分子
发表于 2025-3-31 02:31:37
John Lloyd,Veronica Dahl,Peter J. StuckeyIncludes supplementary material:
Harrowing
发表于 2025-3-31 06:09:46
http://reply.papertrans.cn/24/2327/232634/232634_56.png
Anhydrous
发表于 2025-3-31 12:11:29
http://reply.papertrans.cn/24/2327/232634/232634_57.png
吞没
发表于 2025-3-31 15:50:24
http://reply.papertrans.cn/24/2327/232634/232634_58.png
RAFF
发表于 2025-3-31 20:26:21
http://reply.papertrans.cn/24/2327/232634/232634_59.png
因无茶而冷淡
发表于 2025-4-1 00:27:43
http://reply.papertrans.cn/24/2327/232634/232634_60.png