Translation of "ACL2" into Spanish

ACL2 is the translation of "ACL2" into Spanish.

ACL2
+ Add

English-Spanish dictionary

  • ACL2

  • Show algorithmically generated translations

Automatic translations of "ACL2" into Spanish

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "ACL2" into Spanish in sentences, translation memory