[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 ||
- 作者Felty, Amy P.; Middeldorp, Aart
- 文件大小19286.66KB
- 发表时间2015
- DOI10.1007/978-3-319-21401-6
同作者推荐
[International Series of Numerical Mathematics] New Trends in Shape Optimization Volume 166 ||Pratelli, Aldo; Leugering, Günter · 2015
[International Series of Numerical Mathematics] New Trends in Shape Optimization Volume 166 || Shape Optimization in Electromagnetic ApplicationsPratelli, Aldo; Leugering, Günter · 2015
[International Series of Numerical Mathematics] New Trends in Shape Optimization Volume 166 || Shape- and Topology Optimization for Passive Control of Crack PropagationPratelli, Aldo; Leugering, Günter · 2015