William M Farmer – författare

Visar alla böcker från författaren William M Farmer.

7 produkter

Kategorier

7 produkter

Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
AvWilliam M Farmer
Häftad, Engelska, 2023
839 kr
Skickas inom 5-8 vardagar
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
AvWilliam M. Farmer
Häftad, Engelska, 2024
1 149 kr
Skickas inom 5-8 vardagar
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
AvWilliam M. Farmer
Inbunden, Engelska, 2025
1 129 kr
Skickas inom 10-15 vardagar
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
AvWilliam M. Farmer
Häftad, Engelska, 2026
849 kr
Skickas inom 10-15 vardagar
Del 11006
Del 11006 - Lecture Notes in Computer Science
Intelligent Computer Mathematics
11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
AvFlorian Rabe,William M. Farmerm. fl.
Häftad, Engelska, 2018
729 kr
Skickas inom 10-15 vardagar
Mathematical Knowledge Management
5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
AvJonathan Borwein,William M. Farmer
Häftad, Engelska, 2006
729 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
AvJames H. Davenport,William M. Farmerm. fl.
Häftad, Engelska, 2011
729 kr
Skickas inom 10-15 vardagar