| BUTAFORIE | symbolické |
|---|---|
| FLAP | jazyk programovací pro symbolické manipulace |
| FORMAC | jazyk programovací pro symbolické manipulace |
| FORMAL | jazyk programovací pro symbolické manipulace |
| IMAGO | představa symbolické povahy |
| MACSYMA | jazyk programovací pro symbolické manipulace |
| REDUCE | jazyk programovací pro symbolické manipulace |
| SYMBAL | jazyk programovací pro symbolické manipulace |