LISP (Computer program language) Artificial intelligence 2 Congresses 2 Data processing 2 Calculus of variations 1 Computational complexity 1 Computer programming 1 Computer programs 1 Desktop publishing 1 Finite element method 1 Functional programming (Computer science) 1 Knowledge representation (Information theory) 1 Machine theory 1 Parallel computers 1 Parallel programming (Computer science) 1 Periodicals 1 Problem solving 1 Programming languages (Electronic computers) 1 Prolog (Computer program language) 1 Semantics 1 Verification 1