AMS Meeting Program by Special Session
Current as of Tuesday, April 12, 2005 15:08:49
1991 Joint Mathematics Meetings
San Francisco, CA, January 16-19, 1991
Andy R Magid, AMS firstname.lastname@example.org
Kenneth A Ross, MAA email@example.com
AMS Special Session on Automatic Theorem Proving
Friday January 18, 1991, 7:00 p.m.-8:50 p.m.
AMS Special Session on Automatic Theorem Proving, I
Some adventures with automatic theorem proving.
Woodrow W. Bledsoe*, University of Texas, Austin
A theorem prover for a computational logic.
Robert S. Boyer*, University of Texas, Austin
J. Strother Moore, Computational Logic, Inc. Austin, Texas
Mechanical geometry theorem proving using algebraic methods.
Shang-Ching Chou*, University of Texas, Austin
Is automated theorem proving for you?
Ewing Lusk*, Argonne National Laboratory, Argonne, Illinois