大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Wiedijk 的图书(共3本)

Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

0
索取号：
作者：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. Proceedings

0
索取号：
作者：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. Scott

0
索取号：
作者：Wiedijk、 Freek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.