ACL2

(redirected from A Computational Logic for Applicative Common Lisp)
AcronymDefinition
ACL2A Computational Logic for Applicative Common Lisp
Copyright 1988-2018 AcronymFinder.com, All rights reserved.
Full browser ?