诱使 发表于 2025-3-25 06:12:29

http://reply.papertrans.cn/32/3199/319860/319860_21.png

高尔夫 发表于 2025-3-25 10:27:14

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/e/image/319860.jpg

颠簸下上 发表于 2025-3-25 12:34:48

978-3-540-53590-4Springer-Verlag Berlin Heidelberg 1991

–FER 发表于 2025-3-25 17:45:42

http://reply.papertrans.cn/32/3199/319860/319860_24.png

pacifist 发表于 2025-3-25 20:36:02

http://reply.papertrans.cn/32/3199/319860/319860_25.png

西瓜 发表于 2025-3-26 00:32:49

Modal provability foundations for negation by failure,

有节制 发表于 2025-3-26 04:41:40

http://reply.papertrans.cn/32/3199/319860/319860_27.png

玛瑙 发表于 2025-3-26 12:05:24

Non-monotonicity and conditionals in dialogue logic,

tattle 发表于 2025-3-26 13:35:11

http://reply.papertrans.cn/32/3199/319860/319860_29.png

Bernstein-test 发表于 2025-3-26 20:36:01

http://reply.papertrans.cn/32/3199/319860/319860_30.png
页: 1 2 [3] 4 5 6
查看完整版本: Titlebook: Extensions of Logic Programming; International Worksh Peter Schroeder-Heister Conference proceedings 1991 Springer-Verlag Berlin Heidelberg