Frontiers of Combining Systems Image close
Frontiers of Combining Systems
Frontiers of Combining Systems
Show Hide Adult Content
Frontiers of Combining Systems close

Computers & Internet Books:

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

Frontiers of Combining Systems

10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$154.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.50 with Afterpay Learn more

6 weekly interest-free payments of $25.67 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 proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length. 
Release date NZ
November 12th, 2015
Audience
  • Professional & Vocational
Contributors
  • Edited by Carsten Lutz
  • Edited by Silvio Ranise
Edition
1st ed. 2015
Illustrations
54 Illustrations, color; XVII, 357 p. 54 illus. in color.
Pages
357
Dimensions
155x235x20
ISBN-13
9783319242453
Product ID
23158676

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 >
Computers & Internet >
Software Packages >
Computer graphics software
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Graphical & digital media applications >
3D graphics & modelling
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence