Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Frontiers of Combining Systems
CHF 46.05
Auf Lager
SKU
O6ECOGC6PDJ
1 Verfügbar 
Geliefert zwischen Mi., 04.03.2026 und Do., 05.03.2026
Details
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 book is open access, which means that you have free and unlimited access
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783032041661
- Genre Information Technology
- Editor René Thiemann, Christoph Weidenbach
- Lesemotiv Verstehen
- Anzahl Seiten 406
- Größe H23mm x B155mm x T235mm
- Jahr 2025
- EAN 9783032041661
- Format Kartonierter Einband
- ISBN 978-3-032-04166-1
- Titel Frontiers of Combining Systems
- Untertitel 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings
- Gewicht 645g
- Herausgeber Springer Nature Switzerland
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
