大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Wiedijk 的图书(共3本)
 |
Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings0索取号： 作者：Eekelen、 Marko.、Geuvers、 Herman.、Schmaltz、 Julien.、Wiedijk、 Freek.、SpringerLink (Online service)、 出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. | |
Intelligent Computer Mathematics [electronic resource] : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings0索取号： 作者：Autexier、 Serge.、Campbell、 John.、Rubio、 Julio.、Sorge、 Volker.、Suzuki、 Masakazu.、Wiedijk、 Freek.、SpringerLink (Online service)、 出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
|
The Seventeen Provers of the World [electronic resource] : Foreword by Dana S. Scott0索取号： 作者：Wiedijk、 Freek.、SpringerLink (Online service)、 出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
最近添加的分类
粤公网安备 44030602003680号