William M Farmer – författare
Visar alla böcker från författaren William M Farmer.
7 produkter
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Häftad, 2023
869 kr
Lägg i varukorg
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Inbunden, 2025
1149 kr
Lägg i varukorg
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Häftad, 2026
859 kr
Lägg i varukorg
Intelligent Computer Mathematics
11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
Av Florian Rabe, William M. Farmer m. fl.
Häftad, 2018
739 kr
Lägg i varukorg
Mathematical Knowledge Management
5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
Av Jonathan Borwein, William M. Farmer
Häftad, 2006
739 kr
Lägg i varukorg
Intelligent Computer Mathematics
18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings
Av James H. Davenport, William M. Farmer m. fl.
Häftad, 2011
739 kr
Lägg i varukorg
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Häftad, 2024
1189 kr
Tillfälligt slut