结果:找到“Logic Computation”相关内容14个,排序为按回复时间降序,搜索更多相关帖子请点击“高级”
Logic and Computation
0 个回复 - 509 次查看
Logic and
Computation
作者: Lawrence C. Paulson
出版社: Cambridge University Press
副标题: Interactive Proof with Cambridge LCF
出版年: 1990-7-27
页数: 320
定价: USD 69.00
装帧: Paperback
丛 ...
2023-8-23 06:43 - wxwpxh - IT基础
Quantum Computation and Logic
12 个回复 - 756 次查看
Quantum
Computation and
Logic: How Quantum Computers Have Inspired
Logical Investigations (Trends in
Logic)
By 作者: Maria Luisa Dalla Chiara – Roberto Giuntini – Roberto Leporini – Giuseppe Sergi ...
2019-1-11 01:08 - 13950050756 - 经管书评