Frontiers of Combining Systems

Name: Frontiers of Combining Systems
Author: Thiemann, Ren Weide
ISBN: 9783032041661

Thiemann, Ren Weide

Language: English

Published by Springer Nature Switzerland AG, CH, 2025

303204166X / 9783032041661

Softcover
New

See all details

Seller: Rarewaves.com USA, London, London, United KingdomRarewaves.com USA

5-star seller

AbeBooks seller since June 11, 2025

View this seller's items

Softcover

Condition: New

US$ 55.17

Free Shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket

Free 30-day returns

Save for laterCreate a Want for similar items

Item description from seller

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 # LU-9783032041661

Contact seller about this item

Report this item

Title: Frontiers of Combining Systems
Author: Thiemann, Ren Weide
Publisher: Springer Nature Switzerland AG, CH
Publication year: 2025
Condition: New
Binding: Paperback
Language: English
ISBN 10: 303204166X
ISBN 13: 9783032041661

Rarewaves.com USA

London, London, United Kingdom

5-star seller

AbeBooks seller since June 11, 2025

Shipping rates from United Kingdom to U.S.A.

Item	7 to 12 business days	7 to 12 business days
First item	US$ 0.00	US$ 0.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.