To search menu

Browse language results searching for category Symbolic

Logical Expression-oriented
ALBERT  1969    Specialised Languages Symbolic   United States      
AMBIT/G  1968    String and List Processing Symbolic   United States     Ambit symbolic package for graphs 
ASTRE  1969    Specialised Languages Symbolic   France     Symbolic manipulation program 
ATF  1968    Symbolic   France      
AUT-68  1968    Symbolic   Netherlands      
AUT-PI  1969    Symbolic   Netherlands      
Boole  1848    Symbolic   United Kingdom      
Cantor set theory  1895    Symbolic   Germany      
CAYLEY  1975    Numerical Scientific Symbolic   Australia     Symbolic maths for group theory 
FLAP  1965    Numerical Scientific Symbolic   United States      
Frege  1879    Symbolic   Germany      
Galois  1975    Numerical Scientific Symbolic   Australia     Symbolic maths 
GM  1963    String and List Processing Symbolic   United States     Lisp Abstract Machine without Labels 
Hart  1964    Specialised Languages Symbolic   United States     Early symbolic analysis language written in Lisp 
Hull  1940    Symbolic   United Kingdom      
Kleene  1936    Symbolic   United States      
Korsvold  1965    Non-numerical Scientific Symbolic   United States     Interactive non-numeric symbolic language 
L  1962    Symbolic   United States      
Lambda Calculus  1936    Symbolic   United States      
LCF  1972    Symbolic   United Kingdom     Logic for Computable Functions 
Lincos  1961    Symbolic   Netherlands     Language for cosmic intercourse 
Lovelace and Babbage  1843    Excluded from Sammet Symbolic   United Kingdom      
Markov  1920    Symbolic   Russian Federation     Markov's algorithms  
Martin-Löf types  1972    Symbolic        
New Foundations  1936    Symbolic   United States      
PAL  1970    Symbolic   Netherlands      
Peano  1888    Excluded from Sammet Symbolic   Italy     Peano 
Peirce  1888    Symbolic   United States      
Principia Mathematica  1908    Excluded from Sammet Symbolic   United Kingdom     R & W symbolic treatment of maths 
Quine  1952    Specialised Languages Symbolic   United States     Quine's logic system 
REDUCE  1963    Symbolic   United States      
Scott  1969    Symbolic   United States      
Scratchpad  1971    Numerical Scientific Symbolic   United States     General purpose interactive symbolic maths system 
SCRATCHPAD/1  1971    Symbolic   United States      
SEMIPAL  1968    Symbolic   Netherlands      
SEMIPAL 2  1969    Symbolic   Netherlands      
SIMBOL  1971    Symbolic   United Kingdom     ICL SIMulated Boolean Oriented Language 
Simplified Type Theory  1924    Symbolic   United Kingdom      
SYMBOLANG  1965    Non-numerical Scientific Symbolic   United States     Symbol manipulating FORTRAN 
Tarski  1933    Symbolic   Poland      
Woodger  1937    Symbolic   United Kingdom      
Wooldridge  1963    On-Line Symbolic   United States     Interactive non-numeric algebraic system 
Zermelo-Fraenkel  1922    Symbolic   Germany