lethargy
发表于 2025-4-1 03:39:00
http://reply.papertrans.cn/59/5879/587888/587888_61.png
出没
发表于 2025-4-1 08:57:16
http://reply.papertrans.cn/59/5879/587888/587888_62.png
偶像
发表于 2025-4-1 10:44:35
http://reply.papertrans.cn/59/5879/587888/587888_63.png
流动性
发表于 2025-4-1 15:59:32
Conference proceedings 1992e: logic programming, automated theoremproving, non-monotonic reasoning, applications ofmathematical logic to computer science, deductivedatabases,implementation of declarative concepts, and programminginnon-classical logics.This is the first volume to represent activity in the fieldof logic programming in the countries of the formerSovietUnion.