Fresco
发表于 2025-3-28 16:23:09
http://reply.papertrans.cn/59/5883/588201/588201_41.png
傀儡
发表于 2025-3-28 18:44:20
Z Logic and Its Applications a number of joint publications on Z logic that Henson and Reeves have co-written since 1997. We provide an informal as well as a formal introduction to Z logic and show how it may be used, and extended, to investigate issues such as equational logic, the logic of preconditions, operation and data r
大包裹
发表于 2025-3-29 02:29:36
http://reply.papertrans.cn/59/5883/588201/588201_43.png
纪念
发表于 2025-3-29 05:57:50
http://reply.papertrans.cn/59/5883/588201/588201_44.png
pus840
发表于 2025-3-29 10:23:37
http://reply.papertrans.cn/59/5883/588201/588201_45.png
有斑点
发表于 2025-3-29 14:42:55
http://reply.papertrans.cn/59/5883/588201/588201_46.png