Titel: Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 ? October 1, 2025, Proceedings
Verlag: Springer
Erscheinungsjahr: 2025
Sprache: Englisch
ISBN-10: 303204166X
ISBN-13: 9783032041661
Einband: Softcover
Zustand: New

�ber diesen Titel

Inhaltsangabe

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

We have 20 years experience selling books worldwide! Friendly customer support. Your satisfaction guaranteed!

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Miramar International Services LLC

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

www.californiabooks.com

Widerrufsbelehrung

Versandbedingungen

www.californiabooks.com

Versandkosten innerhalb von USA

Versandkosten innerhalb von USA
Bestellmenge	3 bis 7�Werktage	2 bis 5�Werktage
Erster Artikel	EUR 0.00	EUR 10.25

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.