Search

You searched for: Auteur William M. Farmer Remove constraint Auteur: William M. Farmer
1 - 5 of 5
Number of results to display per page

Search Results

1. Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
thumbnail
Full text!
Author:
William M. Farmer
Publisher:
Springer Nature (Textbooks & Major Reference Works) 2025
Format:
e-book
2. Intelligent Computer Mathematics
thumbnail
Full text!
Author:
Rabe; Abdou Youssef; Grant O. Passmore; William M. Farmer; Farmer, William M.; Passmore, Grant O.; Youssef, Abdou
Publisher:
Springer International Publishing 2018
Format:
e-book
3. Simple Type Theory : A Practical Logic for Expressing and Reasoning about Mathematical Ideas
thumbnail
Full text!
Author:
Farmer, William M.
Publisher:
Cham Springer International Publishing AG 2023
Format:
e-book
4. Mathematical Knowledge Management
thumbnail
Full text!
Author:
Borwein, Jonathan M.; Farmer, William M.; Farmer, William Michael; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2006
Format:
e-book
5. Intelligent Computer Mathematics
thumbnail
Full text!
Author:
Davenport, James H.; Farmer, William M.; Kanade, Takeo; Rabe, Florian; Urban, Josef
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book