Search Results for Farmer, William M.

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2024-11-04T15:11:10Z

Author Farmer, William M. author. SpringerLink (Online service)
Preferred Shelf Number XX(520259.1)
Electronic Access https://doi.org/10.1007/978-3-031-21112-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings

2024-11-04T15:11:10Z

Author Borwein, Jonathan M. editor. Farmer, William M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11812289
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

2024-11-04T15:11:10Z

Author Rabe, Florian. editor. Farmer, William M. editor. Passmore, Grant O. editor. Youssef, Abdou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96812-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings

2024-11-04T15:11:10Z

Author Davenport, James H. editor. Farmer, William M. editor. Urban, Josef. editor. Rabe, Florian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22673-1
Format: Electronic Resources
Availability Online Library~1