Hoppa till sidans huvudinnehåll

William M Farmer - Böcker

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

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

AvWilliam M Farmer,William M. Farmer

Häftad, Engelska, 2023

799 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

959 kr

Skickas inom 10-15 vardagar

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

AvWilliam M. Farmer

Inbunden, Engelska, 2025

1 039 kr

Skickas inom 10-15 vardagar

Intelligent Computer Mathematics

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

AvFlorian Rabe,William M. Farmer m. fl.

Häftad, Engelska, 2018

679 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 m. fl.

Häftad, Engelska, 2006

699 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. Farmer m. fl.

Häftad, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar