Automated Deduction in Equational Logic and Cubic Curves 在線電子書 圖書標籤: 數理邏輯
發表於2025-01-14
Automated Deduction in Equational Logic and Cubic Curves 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025
作者同進也是Mace和Prover9的作者。
機器證明、模型建構、
評分
評分
評分
評分
Automated Deduction in Equational Logic and Cubic Curves 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025