GDPA  
J Strother Moore  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Name

J Strother Moore

E-Mail

Moore@cs.utexas.edu

Homepage

http://www.cs.utexas.edu/users/moore/

Address

Admiral B.R. Inman Centennial Chair in Computing Theory,
Department of Computer Sciences 
Taylor Hall 2.124
University of Texas at Austin 
Austin, TX 78712-1188 
U.S.A.

Institution

University of Texas at Austin - USA

Publications

/Kaufmann, 1997/ Industrial Strength Theorem Prover for a Logic Based on Common Lisp

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster