陈旧 发表于 2025-3-23 10:56:30

http://reply.papertrans.cn/63/6262/626116/626116_11.png

确认 发表于 2025-3-23 17:11:27

http://reply.papertrans.cn/63/6262/626116/626116_12.png

NEXUS 发表于 2025-3-23 18:20:55

http://reply.papertrans.cn/63/6262/626116/626116_13.png

Fluctuate 发表于 2025-3-23 23:36:42

http://reply.papertrans.cn/63/6262/626116/626116_14.png

FUSC 发表于 2025-3-24 04:01:57

http://reply.papertrans.cn/63/6262/626116/626116_15.png

Interlocking 发表于 2025-3-24 07:43:49

http://reply.papertrans.cn/63/6262/626116/626116_16.png

喊叫 发表于 2025-3-24 14:11:34

978-3-540-08921-6Springer-Verlag Berlin Heidelberg 1978

向前变椭圆 发表于 2025-3-24 17:51:32

http://reply.papertrans.cn/63/6262/626116/626116_18.png

离开可分裂 发表于 2025-3-24 21:52:17

0302-9743 Overview: 978-3-540-08921-6978-3-540-35757-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

brassy 发表于 2025-3-24 23:49:35

The algebraic semantics of recursive program schemes,This is a survey of general properties of recursive program schemes and classes of interpretations.
页: 1 [2] 3 4 5 6
查看完整版本: Titlebook: Mathematical Foundations of Computer Science 1978; 7th Symposium Zakopa J. Winkowski Conference proceedings 1978 Springer-Verlag Berlin Hei