Zoeken

U zocht naar: Auteur Farmer, William M. Filter Auteur: Farmer, William M. weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

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