Andrei Voronkov Christoph Weidenbach（编辑）编程逻辑 Festschrift LNCS 7797 … 电子书下载

原名:Andrei Voronkov Christoph Weidenbach (Eds.) Programming Logics Festschrift LNCS 7797 …
作品简介:那个时候我没有预约。” Andrei Voronkov Deepak Kapur 会验证代数几何救援计划吗？皮埃尔·莱斯坎纳……