Hoppa till sidans huvudinnehåll

William M Farmer – författare

Visar alla böcker från författaren William M Farmer.
7 produkter
William M Farmer - Simple Type Theory, Häftad

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

William M. Farmer - Simple Type Theory, Häftad

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

William M. Farmer - Simple Type Theory, Inbunden

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

William M. Farmer - Simple Type Theory, Häftad

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

Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef - Intelligent Computer Mathematics, Häftad
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

Jonathan Borwein, William M. Farmer - Mathematical Knowledge Management, Häftad

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

James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban - Intelligent Computer Mathematics, Häftad

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