lcf的相關文章
lcf的相關公司資訊
lcf的相關商品
Logic for Computable Functions - Wikipedia, the free ...
瀏覽:803
日期:2024-08-11
Logic for Computable Functions (LCF) is an interactive automated theorem prover developed at the universities of Edinburgh and Stanford by Robin Milner and ......看更多