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

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer science  
Mathematical theory of computation

Automated Reasoning

9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$153.00
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
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $38.25 with Afterpay Learn more

6 weekly interest-free payments of $25.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Explore more Lecture Notes in Artificial Intelligence

See all products in this series

Advances in Knowledge Discovery and Data Mining
$318.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 7 Jun 2024
Trends and Applications in Knowledge Discovery and Data Mining
$265.00
Trends and Applications in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 5 Jun 2024
Advances in Brain Inspired Cognitive Systems
$205.00
Advances in Brain Inspired Cognitive Systems
Paperback / softback
Pre-order - out 29 May 2024
Autonomous Agents and Multiagent Systems. Best and Visionary Papers
$140.00
Autonomous Agents and Multiagent Systems. Best and Visionary Papers
Paperback / softback
Available - Usually ships in 3-4 weeks
Foundations of Intelligent Systems
$303.00
Foundations of Intelligent Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web
$156.00
Knowledge Engineering and Knowledge Management: Ontologies and the...
Paperback / softback
Available - Usually ships in 3-4 weeks
Language Processing and Knowledge in the Web
$138.00
Language Processing and Knowledge in the Web
Paperback / softback
Available - Usually ships in 3-4 weeks
Statistical Language and Speech Processing
$205.00
Statistical Language and Speech Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Machine Learning and Knowledge Discovery in Databases: Research Track
$295.00
Machine Learning and Knowledge Discovery in Databases: Research Track
Paperback / softback
Available - Usually ships in 3-4 weeks
Belief Functions: Theory and Applications
$192.00
Belief Functions: Theory and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Knowledge Management in Electronic Government
$152.00
Knowledge Management in Electronic Government
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection
$153.00
Advances in Practical Applications of Agents, Multi-Agent Systems,...
Paperback / softback
Available - Usually ships in 3-4 weeks
Advanced Data Mining and Applications
$205.00
Advanced Data Mining and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Verbal and Nonverbal Communication Behaviours
$154.00
Verbal and Nonverbal Communication Behaviours
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Intelligence XXXIX
$230.00
Artificial Intelligence XXXIX
Paperback / softback
Available - Usually ships in 3-4 weeks
Intelligent Virtual Agents
$159.00
Intelligent Virtual Agents
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International Symposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated Logic Conference. The 38 revised full research papers and 8 system descriptions presented together with two invited talks were carefully reviewed and selected from 108 submissions. The papers focus on topics such as logics, deductive systems, proof-search methods, theorem proving, model checking, verification, formal methods, and program analysis.
Release date NZ
July 1st, 2018
Contributors
  • Edited by Didier Galmiche
  • Edited by Roberto Sebastiani
  • Edited by Stephan Schulz
Pages
724
Edition
1st ed. 2018
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Illustrations
128 Illustrations, black and white; XVIII, 724 p. 128 illus.
ISBN-13
9783319942049
Product ID
28125507

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 >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Artificial intelligence