Site Details:  www.cs.utexas.edu/users/moore/acl2/workshop-2002/

Site Title in Open DirectoryACL2-2002
Snapshot (if available)Go to: ACL2-2002 at www.cs.utexas.edu/users/moore/acl2/workshop-2002/
Site Description in Open Directory Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with ETAPS 2002). Grenoble, France; 8--9 April 2002.
Site CategorySite Category Science: Math: Logic_and_Foundations: Meetings: Past_Conferences

Name:
Comment:
Domain Details: www.cs.utexas.edu
Info for site: ACL2-2002Site Details:www.cs.utexas.edu/users/moore/acl2/workshop-2002/  Details for: www.cs.utexas.edu/users/moore/acl2/workshop-2002/
Info for site: ACL2-2002Site Details: www.cs.utexas.edu/users/moore/acl2/workshop-2002/  Details for: www.cs.utexas.edu/users/moore/acl2/workshop-2002/
Info for site: ACL2-2002Site Details:www.cs.utexas.edu/users/moore/acl2/workshop-2002/  Details for:` .$url.`
Google
  Web www.cs.utexas.edu

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

Directory listings are provided by Open Directory and modified by meetings.logic-and-foundations.math.sciencenter.work

Home | Links Exchange| Contact | Directory | Domain Name Registration | Links | My Sites


Copyleft 2005 meetings.logic-and-foundations.math.sciencenter.work

Free thumbnail preview by Thumbshots.org