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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Account dedicated to Print on Demand titles. Brook Bookstore offers a wide selection of books with a continuously updated catalog and fast shipments all over the world. We hold distribution rights with all of the publishers we promote and are in continuous search of new interesting titles to propose to our customers. We are part of Brandon Group SRL (an Italian company) and all of the orders are shipped from Europe. Depending on availability orders will be picked from our different warehouses. CONTACT US If you have any questions please do not hesitate to contact us sending a message to our store. We have a well prepared customer service team who will be happy to assist you. Our working hours are from Monday to Friday from 9:30 to 18:30 (CET, UTC +1) so messages received during the weekends might be responded with a slight delay but we guarantee you will get back to you as soon as possible. RETURNS If you want to return your order, please submit your request through Abebooks platform. Returns requests are managed case by case by our team and always in line with Abebooks policies: AbeBooks? Return Policy guarantees that you can return any book for a refund within 30 days, when the return is due to an error on the bookseller?s part. When the motive of the return is not due to an error of the seller it is up to Brook Bookstore to accept the return or else after studying the case. CANCELLATION You can send a cancellation request to our customer service team while the package has not yet been shipped. After that we cannot ensure we can retrieve the parcel but we suggest you to get in touch with us in order to verify the case. INVOICE You can request the invoice to be issued together with the shipment of the order or, at the latest, in the same month of the shipment.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Brandon Group S.R.L.
Via Vannella Gaetani 27, Brandon Group, Napoli, NA, 80121, Italy

Condizioni di vendita e spedizione

Condizioni di vendita

Account dedicato ai titoli Print on Demand.

CONTATTI
Se ha delle domande, non esiti a contattarci utilizzando l'opzione "Contattare il venditore". Il nostro efficiente e disponibile servizio clienti sar� felice di offrire assistenza. Il nostro orario di lavoro � dal luned� al venerd� dalle 9:30 alle 18:30 (CET, UTC +1), pertanto i messaggi ricevuti durante il fine settimana potrebbero ricevere una risposta con un leggero ritardo ma garantiamo che sar� inviata una risposta prima possibile.

CANCEL...

Ulteriori informazioni

Diritto di recesso

Condizioni di spedizione

Tariffe di spedizione nazionale per Italia

Tariffe di spedizione nazionale per Italia
Quantit� dell?ordine	Da 30 a 30 giorni lavorativi	Da 14 a 14 giorni lavorativi
Primo articolo	EUR 24.00	EUR 29.00

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Informazioni dettagliate sul venditore