Choose an application

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

This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications.

Automatic theorem proving --- Computer logic --- Engineering & Applied Sciences --- Mathematics --- Physical Sciences & Mathematics --- Computer Science --- Mathematical Theory --- Computer science. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Computer science --- Numerical analysis. --- Artificial intelligence. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Artificial Intelligence (incl. Robotics). --- Software Engineering. --- Mathematics of Computing. --- Numeric Computing. --- Mathematics. --- 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 --- Mathematical analysis --- Computer mathematics --- Discrete mathematics --- 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 --- Computer software engineering --- Engineering --- Informatics --- Science --- Logic design. --- Electronic data processing. --- Artificial Intelligence. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Automation --- Computer science—Mathematics.

Choose an application

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

Semantic Web --- Ontology --- Knowledge representation (Information theory) --- Query languages (Computer science) --- Web sémantique --- Ontologie --- Représentation des connaissances --- Langages d'interrogation --- Congresses --- Congrès --- Telecommunications --- Computer Science --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Web sémantique --- Représentation des connaissances --- Congrès --- EPUB-LIV-FT SPRINGER-B --- QLSs (Computer science) --- Query language systems (Computer science) --- Computer science. --- Computer communication systems. --- Database management. --- Information storage and retrieval. --- User interfaces (Computer systems). --- Bioinformatics. --- Computer Science. --- Information Systems Applications (incl. Internet). --- Information Storage and Retrieval. --- Computer Communication Networks. --- Database Management. --- User Interfaces and Human Computer Interaction. --- Bio-informatics --- Biological informatics --- Biology --- Information science --- Computational biology --- Systems biology --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Data processing --- Distributed processing --- Programming languages (Electronic computers) --- Information storage and retrieva. --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software