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
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.
Search results for Frontiers of Combining Systems: 15th International...
Stock Image
Frontiers of Combining Systems : 15th International Symposium, Frocos 2025, Reykjavik, Iceland, September 27?october 3, 2025, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 51322587
Stock Image
Frontiers of Combining Systems : 15th International Symposium, Frocos 2025, Reykjavik, Iceland, September 27?october 3, 2025, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 51322587-n
Stock Image
Frontiers of Combining Systems (Paperback)
Published by
Springer Nature Switzerland AG, Cham, 2025
ISBN 10: 303204166X
ISBN 13: 9783032041661
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
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. 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. term rewrite systems; Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783032041661
Stock Image
Frontiers of Combining Systems
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # GB-9783032041661
Buy New
US$ 44.27
US$ 6.64 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Frontiers of Combining Systems (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo č un articolo print on demand. Seller Inventory # VBIVD3UXAJ
Buy New
US$ 44.16
US$ 7.63 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
Frontiers of Combining Systems
Published by
Springer Nature Switzerland AG, CH, 2025
ISBN 10: 303204166X
ISBN 13: 9783032041661
New
Paperback
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 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
Buy New
US$ 55.17
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Frontiers of Combining Systems : 15th International Symposium, Frocos 2025, Reykjavik, Iceland, September 27?october 3, 2025, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 51322587-n
Buy New
US$ 44.25
US$ 19.83 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Frontiers of Combining Systems: 15th International Symposium, Frocos 2025, Reykjavik, Iceland, September 27october 3, 2025, Proceedings
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 390 pages. 9.26x6.11x9.21 inches. In Stock. This item is printed on demand. Seller Inventory # __303204166X
Buy New
US$ 52.99
US$ 16.52 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Frontiers of Combining Systems : 15th International Symposium, Frocos 2025, Reykjavik, Iceland, September 27?october 3, 2025, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 51322587
Buy Used
US$ 50.07
US$ 19.83 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Frontiers of Combining Systems
Published by
Springer-Verlag Gmbh Sep 2025, 2025
ISBN 10: 303204166X
ISBN 13: 9783032041661
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
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
Buy New
US$ 49.43
US$ 25.80 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available