TY - BOOK ID - 7764429 TI - Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings AU - Schmidt, Renate A. AU - International Conference on Automated Deduction PY - 2009 SN - 3642029582 9786612331978 1282331973 3642029590 PB - Berlin, Germany ; New York, New York : Springer, DB - UniCat KW - Automatic theorem proving -- Congresses. KW - Automatic theorem proving. KW - Logic, Symbolic and mathematical -- Congresses. KW - Logic, Symbolic and mathematical. KW - Automatic theorem proving KW - Logic, Symbolic and mathematical KW - Engineering & Applied Sciences KW - Computer Science KW - Information Technology KW - Computer Science (Hardware & Networks) KW - Computer science. KW - Computer programming. KW - Software engineering. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Mathematical logic. KW - Artificial intelligence. KW - Computer Science. KW - Artificial Intelligence (incl. Robotics). KW - Programming Languages, Compilers, Interpreters. KW - Programming Techniques. KW - Mathematical Logic and Formal Languages. KW - Logics and Meanings of Programs. KW - Software Engineering. KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - Computer software engineering KW - Engineering KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Informatics KW - Science KW - Programming KW - Logic design. KW - Artificial Intelligence. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory UR - https://www.unicat.be/uniCat?func=search&query=sysid:7764429 AB - This book constitutes the refereed proceedings of the 22nd International Conference on Automated Deduction, CADE-22, held in Montreal, Canada, in August 2009. The 27 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 77 submissions. Furthermore, three invited lectures by distinguished experts in the area were included. The papers are organized in topical sections on combinations and extensions, minimal unsatisfiability and automated reasoning support, system descriptions, interpolation and predicate abstraction, resolution-based systems for non-classical logics, termination analysis and constraint solving, rewriting, termination and productivity, models, modal tableaux with global caching, arithmetic. ER -