Definitions containing the term symbolic%20logic
What does symbolic%20logic mean?
We've found 24 definitions for symbolic%20logic:Sort:PopularA - ZCategory
| BASIC | Beginners' All-purpose Symbolic Instruction Code | ||||
| BASIC | Beginners' All-purpose Symbolic Instruction Code | ||||
| SNOBOL | String Oriented Symbolic Language | ||||
| SYLK | Microsoft Symbolic Link spreadsheet format | ||||
| SMV | Symbolic Model Verifier | ||||
| ASL | Association for Symbolic Logic | ||||
| SAC | Symbolic and Algebraic Computation | ||||
| SAL | Symbolic Analysis Laboratory | ||||
| SIC | Symbolic Instruction Code | ||||
| SP | Symbolic Powers | ||||
| SMV | Cadence Symbolic Model Verifier File | ||||
| SYK | Excel Symbolic link spreadsheet format | ||||
| SCS | Symbolic Constraint Solving | ||||
| SLK | Sylk Symbolic Link format - Multiplan | ||||
| DBG | Symbolic debugging information (MS C/C++) | ||||
| SELA | Symbolic Expander Of Lotus Applications | ||||
| DSL | A Digital Symbolic Locator | ||||
| S | Symbolic | ||||
| AISC | Artificial Intelligence and Symbolic Computation | ||||
| CDSL | Context Dependent Symbolic Link | ||||
| sdb | symbolic debugger | ||||
| SWAT | Symbolic Written Actions Technical | ||||
| NUSMV | New Symbolic Model Verifier | ||||
| QBASIC | Quick Beginners All-purpose Symbolic Instruction Code |