Hoppa till sidans huvudinnehåll

William M Farmer - Böcker

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

Av William M Farmer, William M. Farmer

Häftad, Engelska, 2023

809 kr

Skickas inom 5-8 vardagar

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Av William 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

Av William M. Farmer

Inbunden, Engelska, 2025

1 189 kr

Skickas inom 10-15 vardagar

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, Engelska, 2018

689 kr

Skickas inom 10-15 vardagar

Mathematical Knowledge Management

5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings

Av Jonathan Borwein, William M. Farmer m. fl

Häftad, Engelska, 2006

709 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

Av James H. Davenport, William M. Farmer m. fl

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Av William M. Farmer

Inbunden, Engelska, 2023

1 699 kr

Slutsåld