Automatic theorem proving Congresses 17 Logic, Symbolic and mathematical 15 Artificial intelligence 4 Logic programming 4 Data processing 3 Expert systems (Computer science) 2 Mathematics 2 Nonclassical mathematical logic 2 Reasoning 2 Computational complexity 1 Computer algorithms 1 Computer programming 1 Computer programs 1 Computer simulation 1 Computer vision 1 Computer-aided design 1 Curves, Algebraic 1 Design and construction 1 Digital integrated circuits 1 Functional programming (Computer science) 1 Indexing 1 Integrated circuits 1 Knowledge representation (Information theory) 1 Knowledge, Theory of 1 Learning, Psychology of 1 NP-complete problems 1 Parallel processing (Electronic computers) 1 Parallel programming (Computer science) 1 Practical reason 1