Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.

Computer Science. --- Image Processing and Computer Vision. --- Artificial Intelligence (incl. Robotics). --- Algorithm Analysis and Problem Complexity. --- Information Systems Applications (incl. Internet). --- Computation by Abstract Devices. --- Pattern Recognition. --- Computer science. --- Computer software. --- Artificial intelligence. --- Computer vision. --- Optical pattern recognition. --- Informatique --- Logiciels --- Intelligence artificielle --- Vision par ordinateur --- Reconnaissance optique des formes (Informatique) --- Applied Physics --- Engineering & Applied Sciences --- Computers. --- Algorithms. --- Image processing. --- Pattern recognition. --- Design perception --- Pattern recognition --- Form perception --- Perception --- Figure-ground perception --- Pictorial data processing --- Picture processing --- Processing, Image --- Imaging systems --- Optical data processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Informatics --- Science --- Foundations --- Artificial Intelligence. --- Machine vision --- Vision, Computer --- Artificial intelligence --- Image processing --- Pattern recognition systems --- Pattern perception --- Perceptrons --- Visual discrimination --- Software, Computer --- Automatic theorem proving --- Optical data processing. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Optical computing --- Visual data processing --- Integrated optics --- Photonics --- Computers --- Optical equipment

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Lambda calculus. --- Rewriting systems (Computer science) --- Machine theory. --- Lambda-calcul --- Systèmes de réécriture (Informatique) --- Automates mathématiques, Théorie des --- Lambda calculus --- Machine theory --- Mathematical Theory --- Mathematics --- Physical Sciences & Mathematics --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Graph rewriting systems (Computer science) --- Term rewriting systems (Computer science) --- Calculus, Lambda --- Computer science. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Foundations. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Informatics --- Science --- Algorithms --- Recursive functions --- Robotics --- Logic design. --- Logic, Symbolic and mathematical. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming.