Farmer, William M.
Farmer, William Michael.
VIAF ID: 58192939 ( Personal )
Permalink: http://viaf.org/viaf/58192939
Preferred Forms
- 100 1 _ ‡a Farmer, William M.
-
-
-
- 100 1 _ ‡a Farmer, William M.
- 100 1 _ ‡a Farmer, William Michael
-
-
Works
Title | Sources |
---|---|
Chiron : A Multi-Paradigm Logic / William M. Farmer // From insight to proof : Festschrift in honour of Andrzej Trybulec / guest editors: Roman Matuszewski, Anna Zalewska. - Białystok, 2007. - S. 1-19 | |
Intelligent computer mathematics: 18th symposium, Calculemus 2011 and 10th international conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, proceedings | |
Length of proofs and unification theory, c1984 | |
Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings | |
MKM 2006 | |
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas |