Automatic theorem proving

A computational logic by: (Language materials, printed)

Logic for computer science:foundations of automatic theorem proving by: (Language materials, printed)

Automated theorem proving by: (Language materials, printed)

Proof technology and computation[electronic resource] / by: (Language materials, printed)

Automated technology for verification and analysis[electronic resource] :6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / by: (Language materials, printed)

Theorem proving in higher order logics[electronic resource] :21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings / by: (Language materials, printed)

Interactive theorem proving[electronic resource] :5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (Language materials, printed)

Automated reasoning[electronic resource] :7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 : proceedings / by: (Language materials, printed)

Automated deduction in geometry[electronic resource] :10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers / by: (Language materials, printed)

Automated deduction - CADE-25[electronic resource] :25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings / by: (Language materials, printed)

Interactive theorem proving[electronic resource] :6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings / by: (Language materials, printed)

Automated reasoning with analytic tableaux and related methods[electronic resource] :24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings / by: (Language materials, printed)

Automated technology for verification and analysis[electronic resource] :13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015 : proceedings / by: (Language materials, printed)

Automated reasoning[electronic resource] :8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings / by: (Electronic resources)

Interactive theorem proving[electronic resource] :7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings / by: (Electronic resources)

Mathematical knowledge management[electronic resource] :third international conference, MKM 2004, Biaowieza, Poland, September 19-21, 2004 : proceedings / by: (Electronic resources)

Automatic theorem proving

Automatic theorem proving

Logic,symbolic

Automatic theorem proving

Automatic theorem proving

Computer software

Computer programming

Software Engineering.

Logics and Meanings of Programs.

Information Systems and Communication Service.

Automatic theorem proving

Special Purpose and Application-Based Systems.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Automatic theorem proving

Artificial Intelligence (incl. Robotics)

Logic Design.

Computer Science.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Automatic theorem proving

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Logic, Symbolic and mathematical

Computer Science.

Systems and Data Security.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Mathematics of Computing.

Automatic theorem proving

Artificial Intelligence (incl. Robotics)

Computer logic

Numeric Computing.

Computer Science.

Mathematical Logic and Formal Languages.

Software Engineering.

Automatic theorem proving

Artificial Intelligence (incl. Robotics)

Computer Graphics.

Geometry

Computer Science.

Discrete Mathematics in Computer Science.

Symbolic and Algebraic Manipulation.

Image Processing and Computer Vision.

Pattern Recognition.

Automatic theorem proving

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computation by Abstract Devices.

Logic, Symbolic and mathematical

Computer Science.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Automatic theorem proving

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Logic, Symbolic and mathematical

Computer Science.

Systems and Data Security.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Automatic theorem proving

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computer Science.

Discrete Mathematics in Computer Science.

Artificial intelligence

Software Engineering.

Automatic theorem proving

Computer Science.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Mathematics of Computing.

Automatic theorem proving

Artificial Intelligence (incl. Robotics)

Computer logic

Programming Languages, Compilers, Interpreters.

Computer Science.

Software engineering

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Automatic theorem proving

Algorithm Analysis and Problem Complexity.

Computer Science.

System Performance and Evaluation.

Simulation and Modeling.

Mathematics

Automatic theorem proving

Information storage and retrieval systems