Search Results for Farmer, William M.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFarmer$00252C$002bWilliam$002bM.$0026te$003dILS$0026ps$003d300?2024-08-21T20:41:29ZSimple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideasent://SD_ILS/0/SD_ILS:5202592024-08-21T20:41:29Z2024-08-21T20:41:29ZAuthor Farmer, William M. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520259.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21112-6">https://doi.org/10.1007/978-3-031-21112-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1844882024-08-21T20:41:29Z2024-08-21T20:41:29ZAuthor Borwein, Jonathan M. editor. Farmer, William M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11812289">http://dx.doi.org/10.1007/11812289</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3999682024-08-21T20:41:29Z2024-08-21T20:41:29ZAuthor Rabe, Florian. editor. Farmer, William M. editor. Passmore, Grant O. editor. Youssef, Abdou. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96812-4">https://doi.org/10.1007/978-3-319-96812-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1951012024-08-21T20:41:29Z2024-08-21T20:41:29ZAuthor Davenport, James H. editor. Farmer, William M. editor. Urban, Josef. editor. Rabe, Florian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22673-1">http://dx.doi.org/10.1007/978-3-642-22673-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>