entreat 发表于 2025-4-1 03:22:21
0302-9743 roof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzz978-3-030-93099-8978-3-030-93100-1Series ISSN 0302-9743 Series E-ISSN 1611-3349Negligible 发表于 2025-4-1 08:33:45
http://reply.papertrans.cn/59/5882/588146/588146_62.png