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