Asperity
发表于 2025-3-28 17:36:56
http://reply.papertrans.cn/63/6201/620078/620078_41.png
绿州
发表于 2025-3-28 21:33:41
http://reply.papertrans.cn/63/6201/620078/620078_42.png
acrimony
发表于 2025-3-29 01:41:59
http://reply.papertrans.cn/63/6201/620078/620078_43.png
松驰
发表于 2025-3-29 06:02:33
http://reply.papertrans.cn/63/6201/620078/620078_44.png
高原
发表于 2025-3-29 07:47:43
https://doi.org/10.1007/BFb0030541Höherstufige Logik; Isabelle; Schließen; Syntax; automated reasoning; automatische Verifikation; computer;