WorldCat Identities

Farmer, William Michael

Overview
Works: 9 works in 25 publications in 1 language and 543 library holdings
Genres: Conference proceedings 
Roles: Editor, Author
Classifications: QA76.95, 511.36028563
Publication Timeline
.
Most widely held works by William Michael Farmer
Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings by Jonathan M Borwein( )
12 editions published in 2006 in English and held by 506 WorldCat member libraries worldwide
Mathematical Knowledge Management (vol. # 4108) 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings by Jonathan M Borwein( )
5 editions published in 2006 in English and held by 31 WorldCat member libraries worldwide
Length of proofs and unification theory by William Michael Farmer( )
2 editions published in 1984 in English and held by 2 WorldCat member libraries worldwide
Panoptes : an exploration tool for formal proofs by Orlin Grigorov( Book )
1 edition published in 2008 in English and held by 1 WorldCat member library worldwide
Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2005), Newcastle-upon-Tyne, UK, 18-19 July 2005 by Calculemus 2005( )
1 edition published in 2006 in English and held by 1 WorldCat member library worldwide
Algebraic processors by Pouya Larjani( Book )
1 edition published in 2007 in English and held by 1 WorldCat member library worldwide
Mathematical knowledge management 5th International Conference, MKM 2006 : Wokingham, UK, August 11-12, 2006 : proceedings by International Conference on Mathematical Knowledge Management( )
1 edition published in 2006 in English and held by 1 WorldCat member library worldwide
Dynamic holography of small particle fields using a Q-spoiled laser by William Michael Farmer( Book )
1 edition published in 1968 in English and held by 0 WorldCat member libraries worldwide
Varia with a workshop on the foundations of partial functions and programming ( )
1 edition published in 1995 in English and held by 0 WorldCat member libraries worldwide
 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.76 (from 0.00 for Dynamic ho ... to 1.00 for Algebraic ...)
Languages
English (25)
Covers