AMS Meeting Program by Special Session
Current as of Tuesday, April 12, 2005 15:08:49
Program 
Deadlines 
Inquiries: meet@ams.org
1991 Joint Mathematics Meetings
San Francisco, CA, January 1619, 1991
Meeting #863
Associate secretaries:
Andy R Magid, AMS amagid@ou.edu
Kenneth A Ross, MAA ross@math.uoregon.edu
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

7:00 p.m.
Some adventures with automatic theorem proving.
Woodrow W. Bledsoe*, University of Texas, Austin
(86368433)

7:30 p.m.
A theorem prover for a computational logic.
Robert S. Boyer*, University of Texas, Austin
J. Strother Moore, Computational Logic, Inc. Austin, Texas
(86303380)

8:00 p.m.
Mechanical geometry theorem proving using algebraic methods.
ShangChing Chou*, University of Texas, Austin
(86368376)

8:30 p.m.
Is automated theorem proving for you?
Ewing Lusk*, Argonne National Laboratory, Argonne, Illinois
(86368334)
Inquiries: meet@ams.org