Home Advanced Search

Advanced Search - Page 1

Simple Type Theory - A Practical Logic for Expressing and Reasoning About Mathematical Ideas

PDF
English
Year: 2023
Author: William M. Farmer

Maccabees, Zealots, and Josephus: An Inquiry into Jewish Nationalism in the Greco-Roman Period

PDF
English
Year: 2019
Author: William Reuben Farmer

Intelligent Computer Mathematics

PDF
English
Year: 2018
Author: Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef

Coal Mine Structures

PDF
English
Year: 1985
Author: Ian William Farmer (auth.)

Biblical Studies and the Shifting of Paradigms, 1850-1914 (JSOT Supplement)

PDF
English
Year: 1995
Author: Henning Graf Reventlow, William Farmer

Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings

PDF
English
Year: 2011
Author: Andreas Distler, Muhammad Shah, Volker Sorge (auth.), James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (eds.)

Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings

PDF
English
Year: 2011
Author: Andreas Distler, Muhammad Shah, Volker Sorge (auth.), James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (eds.)

Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings

PDF
English
Year: 2011
Author: Andreas Distler, Muhammad Shah, Volker Sorge (auth.), James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (eds.)

Grand Scribe's Records, Volume IX : the Memoirs of Han China, Part II

PDF
English
Year: 2010
Author: William H. Nienhauser; Qian Sima; J Michael Farmer

Western Fruit Gardening

PDF
English
Year: 2020
Author: Reid M. Brooks; Claron O. Hesse; Beverly Farmer