WorldCat Identities

Farmer, William Michael

Overview
Works: 20 works in 41 publications in 1 language and 697 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 )

9 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 James Harold Davenport( )

4 editions published in 2011 in English and Undetermined and held by 42 WorldCat member libraries worldwide

This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects descriptions that span both the Calculemus and MKM topics, all held in Bertinoro, Italy, in July 2011. All 51 submissions passed through a rigorous review process. A total of 15 papers were submitted to Calculemus, of which 9 were accepted. Systems and Projects track 2011 there have been 12 papers selected out of 14 submissions while MKM 2011 received 22 submissions, of which 9 were accepted for presentation and publication. The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively
Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings by James H Davenport( )

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

This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects descriptions that span both the Calculemus and MKM topics, all held in Bertinoro, Italy, in July 2011. All 51 submissions passed through a rigorous review process. A total of 15 papers were submitted to Calculemus, of which 9 were accepted. Systems and Projects track 2011 there have been 12 papers selected out of 14 submissions while MKM 2011 received 22 submissions, of which 9 were accepted for presentation and publication. The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively
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

William J. Scown vs. Anthony Czarnecki, 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

"William J. Scown filed a bill in the superior court of Cook County on behalf of all other tax-payers as well as himself to restrain the election commissioners of the city of Chicago and the town of Cicero from expending money for providing separate ballots and ballot-boxes for women, and for other purposes, in accordance with the provisions of the Act of the legislature of June 26, 1913, known as the Woman's Suggrage Act"--Page [3]
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

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
Smith-Hurd Illinois annotated constitution by Illinois( Book )

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 )

5 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
Intelligent computer mathematics proceedings by Symposium on the Integration of Symbolic Computation and Mechanised Reasoning( Book )

1 edition published in 2011 in English and held by 1 WorldCat member library 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

Algebraic processors by Pouya Larjani( Book )

1 edition published in 2007 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 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

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

1 edition published in 2006 in English and held by 0 WorldCat member libraries worldwide

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.55 (from 0.49 for Intelligen ... to 1.00 for Dynamic ho ...)

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 (40)

Covers
Intelligent computer mathematics : 18th symposium, Calculemus 2011 and 10th international conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedingsIntelligent 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, ProceedingsIntelligent computer mathematics proceedings