Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Condition: New. pp. xiii + 379 1st Edition.
Condition: New. pp. xiii + 379 Illus.
Condition: New.
Condition: Used. pp. xiii + 379.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.80
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.80
Quantity: Over 20 available
Add to basketCondition: New. In.
Paperback. Condition: New.
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Condition: New.
Language: English
Published by Springer Nature Switzerland AG, Cham, 2025
ISBN 10: 3032045894 ISBN 13: 9783032045898
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 14, 2025.The 39 full papers and 5 short papers included in this volume were carefully reviewed and selected from 108 submissions. They were organized in the following topics:Part I: Special Track: Logics for Explainable and Trustworthy AI; Argumentation; Constraint Satisfaction and Optimization; Deontic Reasoning; Description Logics and Ontological Reasoning; Higher-order and Non-classical Logics; Logic Programming and Answer Set Programming.Part II: Non-monotonic Reasoning and Belief Change; Propositional Reasoning, QBF, and Satisfiability Problems; Temporal Reasoning; Theorem Proving. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Language: English
Published by Springer Nature Switzerland AG, Cham, 2025
ISBN 10: 303204586X ISBN 13: 9783032045867
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 14, 2025.The 39 full papers and 5 short papers included in this volume were carefully reviewed and selected from 108 submissions. They were organized in the following topics:Part I: Special Track: Logics for Explainable and Trustworthy AI; Argumentation; Constraint Satisfaction and Optimization; Deontic Reasoning; Description Logics and Ontological Reasoning; Higher-order and Non-classical Logics; Logic Programming and Answer Set Programming.Part II: Non-monotonic Reasoning and Belief Change; Propositional Reasoning, QBF, and Satisfiability Problems; Temporal Reasoning; Theorem Proving. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New.
Condition: As New. Unread book in perfect condition.
Condition: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
Paperback. Condition: Brand New. 364 pages. 9.25x6.10x0.76 inches. In Stock.
Condition: New.
Language: English
Published by Springer-Verlag New York Inc, 2018
ISBN 10: 3319724525 ISBN 13: 9783319724522
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 476 pages. 9.25x6.10x1.02 inches. In Stock.
Language: English
Published by Springer-Verlag New York Inc, 2007
ISBN 10: 3540734325 ISBN 13: 9783540734321
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 1st edition. 377 pages. 9.50x6.00x0.50 inches. In Stock.
Language: English
Published by Springer International Publishing, 2017
ISBN 10: 3319724525 ISBN 13: 9783319724522
Seller: moluna, Greven, Germany
Kartoniert / Broschiert. Condition: New.
Condition: New.
Condition: New.
Language: English
Published by Springer Nature Switzerland AG, Cham, 2025
ISBN 10: 303204586X ISBN 13: 9783032045867
Seller: CitiRetail, Stevenage, United Kingdom
Paperback. Condition: new. Paperback. This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 14, 2025.The 39 full papers and 5 short papers included in this volume were carefully reviewed and selected from 108 submissions. They were organized in the following topics:Part I: Special Track: Logics for Explainable and Trustworthy AI; Argumentation; Constraint Satisfaction and Optimization; Deontic Reasoning; Description Logics and Ontological Reasoning; Higher-order and Non-classical Logics; Logic Programming and Answer Set Programming.Part II: Non-monotonic Reasoning and Belief Change; Propositional Reasoning, QBF, and Satisfiability Problems; Temporal Reasoning; Theorem Proving. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Language: English
Published by Springer Nature Switzerland AG, Cham, 2025
ISBN 10: 3032045894 ISBN 13: 9783032045898
Seller: CitiRetail, Stevenage, United Kingdom
Paperback. Condition: new. Paperback. This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 14, 2025.The 39 full papers and 5 short papers included in this volume were carefully reviewed and selected from 108 submissions. They were organized in the following topics:Part I: Special Track: Logics for Explainable and Trustworthy AI; Argumentation; Constraint Satisfaction and Optimization; Deontic Reasoning; Description Logics and Ontological Reasoning; Higher-order and Non-classical Logics; Logic Programming and Answer Set Programming.Part II: Non-monotonic Reasoning and Belief Change; Propositional Reasoning, QBF, and Satisfiability Problems; Temporal Reasoning; Theorem Proving. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference served as an interdisciplinary forum for the presentation of research on all aspects of the application of symbolic computation in biology, including computer algebra, computational logic, and related methods. Papers also examine solutions to problems in biology using symbolic methods.
Language: English
Published by Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319724525 ISBN 13: 9783319724522
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017.The 28 revised papers and 8 short papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in the following topical sections: foundation of algorithms in mathematics, engineering and scientific computation; combinatorics and codes in computer science; data modeling and analysis; and mathematical aspects of information security and cryptography.
Language: English
Published by Springer International Publishing, 2022
ISBN 10: 3031166809 ISBN 13: 9783031166808
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Computer Mathematics, CICM 2022, held in Tbilisi, Georgia, in September 2022. The 17 full papers, 1 project/ survey paper, 4 short papers, and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on theoretical and practical solutions for these challenges including computation, deduction, narration, and data management.