Search Results for Wiedijk, Freek. - Narrowed by: Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dWiedijk$00252C$002bFreek.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300?
2024-11-18T22:42:42Z
The Seventeen Provers of the World Foreword by Dana S. Scott
ent://SD_ILS/0/SD_ILS:183546
2024-11-18T22:42:42Z
2024-11-18T22:42:42Z
Author Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11542384">http://dx.doi.org/10.1007/11542384</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195162
2024-11-18T22:42:42Z
2024-11-18T22:42:42Z
Author Eekelen, Marko. editor. Geuvers, Herman. editor. Schmaltz, Julien. editor. Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22863-6">http://dx.doi.org/10.1007/978-3-642-22863-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188596
2024-11-18T22:42:42Z
2024-11-18T22:42:42Z
Author Autexier, Serge. editor. Campbell, John. editor. Rubio, Julio. editor. Sorge, Volker. editor. Suzuki, Masakazu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85110-3">http://dx.doi.org/10.1007/978-3-540-85110-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>