William M Farmer - Böcker
Visar alla böcker från författaren William M Farmer.
6 produkter
6 produkter
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Häftad, Engelska, 2023
829 kr
Skickas inom 5-8 vardagar
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Häftad, Engelska, 2024
839 kr
Skickas inom 10-15 vardagar
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Inbunden, Engelska, 2025
1 119 kr
Skickas inom 10-15 vardagar
Del 11006 - Lecture Notes in Computer Science
Intelligent Computer Mathematics
11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
Häftad, Engelska, 2018
719 kr
Skickas inom 10-15 vardagar
Mathematical Knowledge Management
5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
Häftad, Engelska, 2006
719 kr
Skickas inom 10-15 vardagar
Intelligent Computer Mathematics
18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings
Häftad, Engelska, 2011
719 kr
Skickas inom 10-15 vardagar