論理演算的相關文章
論理演算的相關公司資訊
論理演算的相關商品
Linear Logic (Stanford Encyclopedia of Philosophy)
瀏覽:878
日期:2024-09-03
Bibliography Abramsky, S., 1993, “Computational interpretations of linear logic”, Theoretical Computer Science, 111: 3–57. Abramsky, S., and Jagadeesan, R., 1994, “New Foundations for the Geometry of Interaction”, Information and Computation, 111(1): 53–1...看更多