- Electronic digital computers--Programming (56)
- Algorithms (11)
- Logic, Symbolic and mathematical (3)
- Algebra (2)
- Data structures (Computer science) (2)
- Functional programming languages (2)
- Mathematics--Data processing (2)
- Pascal (Computer program language) (2)
- Programming languages (Electronic computers) (2)
- Ada (Computer program language) (1)
- Algebra, Boolean (1)
- Artificial intelligence (1)
- Artificial intelligence--Data processing (1)
- Automatic theorem proving (1)
- Categories (Mathematics) (1)
- Categories (Mathematics)--Data processing (1)
- Compiling (Electronic computers) (1)
- Computational complexity (1)
- Computer arithmetic (1)
- Computer programs--Catalogs (1)
- Data base management (1)
- Electronic data processing--Distributed processing (1)
- English language--Orthography and Spelling--Data processing (1)
- Error-correcting codes (Information theory) (1)
- FORTRAN 77 (Computer program language) (1)
- Functions (1)
- Graph theory (1)
- Induction (Mathematics) (1)
- Interactive computer systems (1)
- LISP (Computer program language) (1)
- Logic design (1)
- MACRO 11 (Computer program language) (1)
- Mathematics--Problems, exercises, etc.--Data processing (1)
- Metamathematics (1)
- Modular programming (1)
- Numerical analysis--Data processing (1)
- PASCAL (Computer program language) (1)
- Parallel processing (Electronic computers) (1)
- Parsing (Computer grammar) (1)
- Probabilities (1)
- Problem solving--Data processing (1)
- Programming languages (Electronic computers)--Semantics (1)
- Prolog (Computer program language) (1)
- Recursion theory (1)
- Relational data bases (1)
- Robotics (1)
- Sequential processing (Computer science) (1)
- Set theory (1)
- Software compatibility (1)
- Supercomputers (1)
- System design (1)
- Text editors (Computer programs) (1)