MPG.eBooks - Author Search Results

Cover Image

1

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

by Farmer, William M.
Published 2023

Birkhäuser

Cover Image

2

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

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Farmer, William M....”

Cover Image

3

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

Published 2018

Springer International Publishing

Other Authors: “...Farmer, William M....”

Cover Image

4

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

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Farmer, William M....”