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-3349

Negligible 发表于 2025-4-1 08:33:45

http://reply.papertrans.cn/59/5882/588146/588146_62.png
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Logical Foundations of Computer Science; International Sympos Sergei Artemov,Anil Nerode Conference proceedings 2022 Springer Nature Switze