Items related to Frontiers of Combining Systems: 15th International...

Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings (Lecture Notes in Computer Science, 15979) - Softcover

 
9783032041661: Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings (Lecture Notes in Computer Science, 15979)

Synopsis

This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29–October 1, 2025.

The 21 full papers included in the proceedings were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Description logics; beyond classical logic; satisfiability modulo theories; term rewrite systems; theorem proving; specific reasoning procedures; and proof checking.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: As New
Unread book in perfect condition...
View this item

£ 14.87 shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Search results for Frontiers of Combining Systems: 15th International...

Stock Image

Ren? Thiemann
Published by Springer, 2025
ISBN 10: 303204166X ISBN 13: 9783032041661
New PAP

Seller: PBShop.store UK, Fairford, GLOS, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # S0-9783032041661

Contact seller

Buy New

£ 34.32
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: 5 available

Add to basket

Stock Image

Thiemann, René
Published by Springer, 2025
ISBN 10: 303204166X ISBN 13: 9783032041661
New Softcover

Seller: Brook Bookstore On Demand, Napoli, NA, Italy

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: new. Seller Inventory # VBIVD3UXAJ

Contact seller

Buy New

£ 34.33
Convert currency
Shipping: £ 2.40
From Italy to United Kingdom
Destination, rates & speeds

Quantity: 5 available

Add to basket

Stock Image

Rene Thiemann
ISBN 10: 303204166X ISBN 13: 9783032041661
New Paperback

Seller: CitiRetail, Stevenage, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: new. Paperback. This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29October 1, 2025.The 21 full papers included in the proceedings were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Description logics; beyond classical logic; satisfiability modulo theories; term rewrite systems; theorem proving; specific reasoning procedures; and proof checking. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9783032041661

Contact seller

Buy New

£ 36.99
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Thiemann, Ren
Published by Springer, 2025
ISBN 10: 303204166X ISBN 13: 9783032041661
New Softcover

Seller: Kennys Bookstore, Olney, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # V9783032041661

Contact seller

Buy New

£ 35.80
Convert currency
Shipping: £ 2.23
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 15 available

Add to basket

Stock Image

Thiemann, Ren
Published by Springer, 2025
ISBN 10: 303204166X ISBN 13: 9783032041661
New Softcover

Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # V9783032041661

Contact seller

Buy New

£ 35.45
Convert currency
Shipping: £ 2.62
From Ireland to United Kingdom
Destination, rates & speeds

Quantity: 15 available

Add to basket

Stock Image

Thiemann, René
Published by Springer, 2025
ISBN 10: 303204166X ISBN 13: 9783032041661
New Softcover

Seller: Brook Bookstore, Milano, MI, Italy

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: new. Seller Inventory # VBIVD3UXAJ

Contact seller

Buy New

£ 30.07
Convert currency
Shipping: £ 10.89
From Italy to United Kingdom
Destination, rates & speeds

Quantity: 5 available

Add to basket

Stock Image

Thiemann, René (Editor)/ Weidenbach, Christoph (Editor)
Published by Springer Nature, 2025
ISBN 10: 303204166X ISBN 13: 9783032041661
New Paperback
Print on Demand

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. 390 pages. 9.26x6.11x9.21 inches. In Stock. This item is printed on demand. Seller Inventory # __303204166X

Contact seller

Buy New

£ 34.99
Convert currency
Shipping: £ 6.99
Within United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

René Thiemann
Published by Springer-Verlag Gmbh Sep 2025, 2025
ISBN 10: 303204166X ISBN 13: 9783032041661
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29 October 1, 2025.The 21 full papers included in the proceedings were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Description logics; beyond classical logic; satisfiability modulo theories; term rewrite systems; theorem proving; specific reasoning procedures; and proof checking. 406 pp. Englisch. Seller Inventory # 9783032041661

Contact seller

Buy New

£ 38.43
Convert currency
Shipping: £ 9.59
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

René Thiemann
Published by Springer-Verlag Gmbh, 2025
ISBN 10: 303204166X ISBN 13: 9783032041661
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29 October 1, 2025.The 21 full papers included in the proceedings were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Description logics; beyond classical logic; satisfiability modulo theories; term rewrite systems; theorem proving; specific reasoning procedures; and proof checking. Seller Inventory # 9783032041661

Contact seller

Buy New

£ 38.43
Convert currency
Shipping: £ 12.20
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2025
ISBN 10: 303204166X ISBN 13: 9783032041661
New Softcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9783032041661

Contact seller

Buy New

£ 47.49
Convert currency
Shipping: £ 7.44
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

There are 7 more copies of this book

View all search results for this book