Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer International Publishing AG, Cham, 2023
ISBN 10: 3031384989ISBN 13: 9783031384981
Seller: Grand Eagle Retail, Wilmington, DE, U.S.A.
Book First Edition
Paperback. Condition: new. Paperback. This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions. This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Published by Springer, 2019
ISBN 10: 3030221016ISBN 13: 9783030221010
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 2023
ISBN 10: 3031384989ISBN 13: 9783031384981
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 617 pages. 9.25x6.10x1.65 inches. In Stock.
Published by Springer, 2019
ISBN 10: 3030221016ISBN 13: 9783030221010
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 2015
ISBN 10: 3662466805ISBN 13: 9783662466803
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 2019
ISBN 10: 3030221016ISBN 13: 9783030221010
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2015
ISBN 10: 3662466805ISBN 13: 9783662466803
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2023
ISBN 10: 3031384989ISBN 13: 9783031384981
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New.
Published by Springer, 2011
ISBN 10: 3642243630ISBN 13: 9783642243639
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 2011
ISBN 10: 3642243630ISBN 13: 9783642243639
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 2019
ISBN 10: 3030221016ISBN 13: 9783030221010
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer Nature Switzerland Okt 2023, 2023
ISBN 10: 3031384989ISBN 13: 9783031384981
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 open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023.The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions. 620 pp. Englisch.
Published by Springer, 2023
ISBN 10: 3031384989ISBN 13: 9783031384981
Seller: Majestic Books, Hounslow, United Kingdom
Book Print on Demand
Condition: New. Print on Demand.
Published by Springer, 2011
ISBN 10: 3642243630ISBN 13: 9783642243639
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: 3662466805ISBN 13: 9783662466803
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, 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, 2011
ISBN 10: 3642243630ISBN 13: 9783642243639
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer 2011-09, 2011
ISBN 10: 3642243630ISBN 13: 9783642243639
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer, 2011
ISBN 10: 3642243630ISBN 13: 9783642243639
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer, 2015
ISBN 10: 3662466805ISBN 13: 9783662466803
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer, 2019
ISBN 10: 3030221016ISBN 13: 9783030221010
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer Berlin Heidelberg Apr 2015, 2015
ISBN 10: 3662466805ISBN 13: 9783662466803
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 proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions. In addition, the book contains one invited contribution. The papers have been organized in topical sections on hybrid systems; program analysis; verification and abstraction; tool demonstrations; stochastic models; SAT and SMT; partial order reduction, bisimulation, and fairness; competition on software verification; parameter synthesis; program synthesis; program and runtime verification; temporal logic and automata and model checking. 744 pp. Englisch.
Published by Springer International Publishing Jun 2019, 2019
ISBN 10: 3030221016ISBN 13: 9783030221010
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 Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science. 676 pp. Englisch.
Published by Springer Nature Switzerland, 2023
ISBN 10: 3031384989ISBN 13: 9783031384981
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023.The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Published by Springer, 2015
ISBN 10: 3662466805ISBN 13: 9783662466803
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book Print on Demand
Soft Cover. Condition: new. This item is printed on demand.
Published by Springer, 2015
ISBN 10: 3662466805ISBN 13: 9783662466803
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New. pp. 725.
Published by Springer International Publishing AG, Cham, 2023
ISBN 10: 3031384989ISBN 13: 9783031384981
Seller: CitiRetail, Stevenage, United Kingdom
Book First Edition
Paperback. Condition: new. Paperback. This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions. This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Published by Springer Verlag, 2019
ISBN 10: 3030221016ISBN 13: 9783030221010
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 678 pages. 9.25x6.10x1.38 inches. In Stock.
Published by Springer, 2019
ISBN 10: 3030221016ISBN 13: 9783030221010
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Springer-Verlag GmbH, 2011
ISBN 10: 3642243630ISBN 13: 9783642243639
Seller: Buchpark, Trebbin, Germany
Book
Condition: Sehr gut. Zustand: Sehr gut - Neubindung, Buchschnitt leicht verkürzt,Frontcover leichte Klebespuren, Ausgabe 2011 | Seiten: 274 | Sprache: Englisch.