GDPA  
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
  • Homepage
  • Address
  • Persons
  • Projects/Tools
  • See also
  • 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