WorldCat Identities

Farmer, William Michael

Overview
Works: 18 works in 40 publications in 1 language and 638 library holdings
Genres: Conference papers and proceedings  Trials, litigation, etc 
Roles: Editor, Author
Classifications: QA76.95, 511.36028563
Publication Timeline
.
Most widely held works about William Michael Farmer
 
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( Book )

8 editions published in 2006 in English and held by 123 WorldCat member libraries worldwide

Intelligent computer mathematics : 18th symposium, Calculemus 2011 and 10th international conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedings by Calculemus 2011( )

8 editions published in 2011 in English and Undetermined and held by 50 WorldCat member libraries worldwide

Annotation
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 4 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

William J. Scown vs. Anthony Czarnechi, et al. Woman's suffrage decision with dissenting opinions of Justice Farmer and Justice Cooke by Illinois( Book )

4 editions published between 1913 and 1914 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

Mathematical Knowledge Management (vol. # 4108) 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings by Jonathan M Borwein( Book )

6 editions published in 2006 in English and held by 1 WorldCat member library worldwide

Electrostatic Spatial Filter for a High Power Laser( Book )

1 edition published in 1972 in English and held by 1 WorldCat member library worldwide

The patent describes an electrostatically cooled spatial filter for high powered pulsed lasers. The filter comprises a first lens which focuses a laser beam on a pinhole, and a second lens positioned behind the pinhole to receive the beam. To prevent the laser beam from destroying the pinhole an electric field is applied across the pinhole. This field cools the pinhole and as a result the size of the pinhole is preserved
Algebraic processors by Pouya Larjani( Book )

1 edition published in 2007 in English and held by 1 WorldCat member library worldwide

Smith-Hurd Illinois annotated constitution by Illinois( Book )

in English and held by 1 WorldCat member library worldwide

Method of Forming and Cooling Pinhole Spatial Filter for High Power Laser( Book )

1 edition published in 1973 in English and held by 1 WorldCat member library worldwide

The patent describes an electrostatically cooled spatial filter for high powered pulsed lasers. The filter comprises a first lens which focuses a laser beam on a pinhole, and a second lens positioned behind the pinhole to receive the beam. To prevent the laser beam from destroying the pinhole an electric field is applied across the pinhole. This field cools the pinhole and as a result the size of the pinhole is preserved
Dynamic holography of small particle fields using a Q-spoiled laser by William Michael Farmer( )

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

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 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.54 (from 0.51 for Intelligen ... to 1.00 for Method of ...)

Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedingsMathematical knowledge management 5th International Conference, MKM 2006 : Wokingham, UK, August 11-12, 2006 : proceedingsMathematical Knowledge Management (vol. # 4108) 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
Languages
English (38)

Covers
Intelligent computer mathematics : 18th symposium, Calculemus 2011 and 10th international conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedingsMathematical knowledge management 5th International Conference, MKM 2006 : Wokingham, UK, August 11-12, 2006 : proceedingsMathematical Knowledge Management (vol. # 4108) 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings