What does ACL2 stand for?
ACL2 stands for A Computational Logic for Applicative Common Lisp
This definition appears somewhat frequently and is found in the following Acronym Finder categories:
- Information technology (IT) and computers
- Science, medicine, engineering, etc.
- Abbreviation Database Surfer
- « Previous
- Next »
- Automatic Clutter Mapping
- Automobile Club du Loiret (French: Automobile Club of Loiret; Loiret, France)
- Automobile Club Luxembourg
- Automotive Components Limited (various companies)
- Automotive Components Ltd (Australia)
- Automove Control Language
- Auxiliary Cooling Loop
- Available Cabin Load
- Average Contaminant Level
- Alarm and Control 1 (NEC)
- All China Lawyers Association (China)
- American Coalition of Life Activists (anti-abortion group)
- American Comparative Literature Association (Austin, TX)
- Apartment Council of Louisiana
- Asian Canadian Labour Alliance
- Asociación Civil Los Algarrobos (Spanish: Algarrobos Civil Partnership; Argentina)
- Associate Commissioner for Legislative Affairs
- Association Canadienne de Linguistique Appliquée (French: Canadian Association of Applied Linguistics)
- Attach-to-Close Locator Algorithm
- Australian Council of Livestock Agents