Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Author funded 2023-09-15, Berlin, 2023
ISBN 10: 3031433688ISBN 13: 9783031433689
Seller: Blackwell's, London, United Kingdom
Book
paperback. Condition: New. Language: ENG.
Published by Cambridge University Press, 2017
ISBN 10: 0521695422ISBN 13: 9780521695428
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Book
Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability.
Published by Cambridge University Press 2017-04-07, Cambridge, 2017
ISBN 10: 0521695422ISBN 13: 9780521695428
Seller: Blackwell's, London, United Kingdom
Book
paperback. Condition: New. Language: ENG.
Published by Cambridge University Press, 2017
ISBN 10: 0521695422ISBN 13: 9780521695428
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Book
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also.
Published by Springer International Publishing AG, Cham, 2023
ISBN 10: 3031433688ISBN 13: 9783031433689
Seller: Grand Eagle Retail, Wilmington, DE, U.S.A.
Book First Edition
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023.The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.This is an open access book. This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Published by Cambridge University Press, 2017
ISBN 10: 0521695422ISBN 13: 9780521695428
Seller: Prior Books Ltd, Cheltenham, United Kingdom
Book First Edition
Paperback. Condition: Like New. First Edition. A nearly new copy with just a small hardly noticeable 'damaged' stamp at the prelims. Despite such this book is not showing any defects, just a few very mild rubs and bumps. Thus it looks and feels unread with contents that are crisp, fresh and tight. Now offered for sale at a reasonable price.
Published by Springer-Nature New York Inc, 2023
ISBN 10: 3031433688ISBN 13: 9783031433689
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 291 pages. 9.25x6.10x0.61 inches. In Stock.
Published by Springer, 2015
ISBN 10: 3319179659ISBN 13: 9783319179650
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book Print on Demand
Soft Cover. Condition: new. This item is printed on demand.
Published by Springer, 2023
ISBN 10: 3031433688ISBN 13: 9783031433689
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Cambridge University Press CUP, 2017
ISBN 10: 0521695422ISBN 13: 9780521695428
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New. pp. 260.
Published by Cambridge Univ Pr, 2017
ISBN 10: 0521695422ISBN 13: 9780521695428
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 255 pages. 9.50x6.50x0.50 inches. In Stock.
Published by Springer, 2019
ISBN 10: 3030221016ISBN 13: 9783030221010
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Cambridge University Press, 2017
ISBN 10: 0521695422ISBN 13: 9780521695428
Seller: Books Unplugged, Amherst, NY, U.S.A.
Book
Condition: Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within.
Published by Cambridge University Press, 2017
ISBN 10: 0521695422ISBN 13: 9780521695428
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: New. Book is in NEW condition.
Published by Cambridge University Press, 2017
ISBN 10: 0521695422ISBN 13: 9780521695428
Seller: Book Deals, Tucson, AZ, U.S.A.
Book
Condition: New. New! This book is in the same immaculate condition as when it was published.
Published by Berlin, Heidelberg: Springer, 2012
ISBN 10: 3642313647ISBN 13: 9783642313646
Seller: Antiquariat Bernhardt, Kassel, Germany
Book
Broschiert. Lecture Notes in Artificial Science, Band 7364. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XIV, 568 Seiten, Englisch 988g.
Published by Springer, 2015
ISBN 10: 3319179659ISBN 13: 9783319179650
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Cambridge University Press, 2017
ISBN 10: 0521695422ISBN 13: 9780521695428
Seller: Majestic Books, Hounslow, United Kingdom
Book
Condition: New. pp. 260.
Published by Springer, 2019
ISBN 10: 3030221016ISBN 13: 9783030221010
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2023
ISBN 10: 3031433688ISBN 13: 9783031433689
Seller: California Books, Miami, FL, U.S.A.
Book
Condition: New.
Published by Springer Nature Switzerland Okt 2023, 2023
ISBN 10: 3031433688ISBN 13: 9783031433689
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023.The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They aregrouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.This is an open access book. 292 pp. Englisch.
Published by Springer, 2019
ISBN 10: 3030221016ISBN 13: 9783030221010
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 2015
ISBN 10: 3319179659ISBN 13: 9783319179650
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 2015
ISBN 10: 3319179659ISBN 13: 9783319179650
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New. pp. 234.
Published by Springer-Nature New York Inc, 2023
ISBN 10: 3031433688ISBN 13: 9783031433689
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 291 pages. 9.25x6.10x0.61 inches. In Stock.
Published by Springer, 2014
ISBN 10: 366244979XISBN 13: 9783662449790
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New.
Published by Springer 2015-05, 2015
ISBN 10: 3319179659ISBN 13: 9783319179650
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Cambridge University Press, 2017
ISBN 10: 0521873614ISBN 13: 9780521873611
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Cambridge University Press, 2017
ISBN 10: 0521873614ISBN 13: 9780521873611
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Book
Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability.
Published by Springer Berlin Heidelberg Okt 2014, 2014
ISBN 10: 366244979XISBN 13: 9783662449790
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2014, held in Hangzhou, China, in October 2014. The 32 revised papers presented were carefully reviewed and selected from more than 70 submissions. They are organized in topical sections on machine learning, data mining, web mining, multi-agent systems, automatic reasoning, decision algorithms, multimedia, pattern recognition, and information security. 344 pp. Englisch.