What does ACL2 stand for?

MLA style: "ACL2." Acronym Finder . 2012. AcronymFinder.com 12 Feb. 2012 <a href="http://www.acronymfinder.com/A-Computational-Logic-for-Applicative-Common-Lisp-(ACL2).html">http://www.acronymfinder.com/A-Computational-Logic-for-Applicative-Common-Lisp-(ACL2).html
Chicago style: Acronym Finder . S.v. "ACL2." Retrieved February 12 2012 from <a href="http://www.acronymfinder.com/A-Computational-Logic-for-Applicative-Common-Lisp-(ACL2).html">http://www.acronymfinder.com/A-Computational-Logic-for-Applicative-Common-Lisp-(ACL2).html
APA style: ACL2. (n.d.) Acronym Finder. (2012). Retrieved February 12 2012 from <a href="http://www.acronymfinder.com/A-Computational-Logic-for-Applicative-Common-Lisp-(ACL2).html">http://www.acronymfinder.com/A-Computational-Logic-for-Applicative-Common-Lisp-(ACL2).html

A Computational Logic for Applicative Common Lisp

This definition appears very rarely and is found in the following Acronym Finder categories:

Other Resources:

<< Previous	Abbreviation Database Surfer		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