 |
|
| University of Texas at Austin - USA |
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
 Contents
|
|
|---|
Institution
University of Texas at Austin - USA
Homepage
http://www.cs.utexas.edu/
Address
Department of Computer Sciences TAY 2.124, C0500 The University of Texas at Austin Austin, TX 78712-1188 USA +1 (512) 471 7316 (phone) +1 (512) 471 8885 (fax)
Persons
Batori, D.Moore, J. S.
Perry, D.
Projects/Tools
ACL2 - A Computational Logic for Applicative Common Lisp See also
Educational institutions ordered by country
GDPA Online
Last Updated 01.May.2002
Updated by Webmaster
Last Revised 01.May.2002
Revised by Webmaster
|