Automated Reasoning Image close
Automated Reasoning
Automated Reasoning
Show Hide Adult Content
Automated Reasoning close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Automated Reasoning

7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$142.99
RRP:
$172.95 save $29.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $35.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 27 Jun - 9 Jul using International Courier

Explore more Lecture Notes in Artificial Intelligence

See all products in this series

Advances in Brain Inspired Cognitive Systems
$147.99
Advances in Brain Inspired Cognitive Systems
Paperback / softback
Pre-order - out 26 Jun 2024
Advances in Artificial Intelligence Save $21
$136.99
$158.95
Advances in Artificial Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Industrial Applications of Holonic and Multi-Agent Systems
$135.99
Industrial Applications of Holonic and Multi-Agent Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Artificial Intelligence and Soft Computing Save $19
$143.99
$163.95
Advances in Artificial Intelligence and Soft Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Collective Intelligence
$284.99
Computational Collective Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
$137.99
$139.99
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Fuzzy Logic and Applications
$134.99
Fuzzy Logic and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
The Next Generation of Information Systems: From Data to Knowledge
$146.99
The Next Generation of Information Systems: From Data to Knowledge
Paperback / softback
Available - Usually ships in 3-4 weeks
Rough Sets and Knowledge Technology
$271.99
Rough Sets and Knowledge Technology
Paperback / softback
Available - Usually ships in 3-4 weeks
Machine Learning and Data Mining in Pattern Recognition Save $50
$143.99
$194.95
Machine Learning and Data Mining in Pattern Recognition
Paperback / softback
Available - Usually ships in 3-4 weeks
RoboCup 2021: Robot World Cup XXIV
$205.99
RoboCup 2021: Robot World Cup XXIV
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances and Trends in Artificial Intelligence. Theory and Applications
$204.99
Advances and Trends in Artificial Intelligence. Theory and...
Paperback / softback
Available - Usually ships in 3-4 weeks
Inductive Logic Programming
$135.99
Inductive Logic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Knowledge Science, Engineering and Management
$307.99
Knowledge Science, Engineering and Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Intelligent Information and Database Systems
$271.99
Intelligent Information and Database Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Agents for Educational Games and Simulations
$131.99
Agents for Educational Games and Simulations
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 7th International Joint Conference on Automated Reasoning, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 26 revised full research papers and 11 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 83 submissions. The papers have been organized in topical sections on HOL, SAT and QBF, SMT, equational reasoning, verification, proof theory, modal and temporal reasoning, SMT and SAT, modal logic, complexity, description logics and knowledge representation and reasoning.
Release date Australia
August 4th, 2014
Audience
  • Professional & Vocational
Contributors
  • Edited by Christoph Weidenbach
  • Edited by Deepak Kapur
  • Edited by Stephane Demri
Illustrations
101 Illustrations, black and white; XXVIII, 528 p. 101 illus.
Pages
528
Dimensions
155x235x29
ISBN-13
9783319085869
Product ID
22487786

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Calculus & mathematical analysis >
Infinite series
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists
Books >
Computers & Internet >
Computer science >
Artificial intelligence