面向制表系统的语言
TABSOLA language extension for {GECOM} written in the form of {truth tables} which was compiled into code for the tests and actions described. TABSOL was developed by T.F. Kavanaugh, and was in use around 1964-5. (1996-09-15) [Proc FJCC 18:117-136, AFIPS (Fall 1960)]. (1996-09-16)