bib.howest.be Zoekresultaten

U zocht naar: Auteur William M. Farmer

1 - 5 van 5

1. Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Auteur:: William M. Farmer
Uitgever:: Springer Nature (Textbooks & Major Reference Works) 2025
Type:: e-book

2. Intelligent Computer Mathematics

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

3. Simple Type Theory : A Practical Logic for Expressing and Reasoning about Mathematical Ideas

Auteur:: Farmer, William M.
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

4. Mathematical Knowledge Management

Auteur:: Borwein, Jonathan M.; Farmer, William M.; Farmer, William Michael; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

5. Intelligent Computer Mathematics

Auteur:: Davenport, James H.; Farmer, William M.; Kanade, Takeo; Rabe, Florian; Urban, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book