Site Details:

Site Title in Open DirectoryACL2-2002
Snapshot (if available)Go to: ACL2-2002 at
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

Domain Details:
Info for site: ACL2-2002Site  Details for:
Info for site: ACL2-2002Site Details:  Details for:
Info for site: ACL2-2002Site  Details for:` .$url.`

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

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

Copyleft 2005

Free thumbnail preview by