Artículos relacionados a Frontiers of Combining Systems: 15th International...
Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings: 15979 (Lecture Notes in Artificial Intelligence) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Frontiers of Combining Systems: 15th International...
Imagen de archivo
Frontiers of Combining Systems (eng)
Impresión bajo demandaLibrería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: VBIVD3UXAJ
Comprar nuevo
EUR 38,22
Envío por EUR 6,80
Se envía de Italia a Estados Unidos de America
Se envía de Italia a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Frontiers of Combining Systems
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: GB-9783032041661
Comprar nuevo
EUR 40,14
Envío por EUR 6,02
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Frontiers of Combining Systems : 15th International Symposium, Frocos 2025, Reykjavik, Iceland, September 27?october 3, 2025, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 51322587
Comprar usado
EUR 44,23
Envío por EUR 2,37
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Frontiers of Combining Systems : 15th International Symposium, Frocos 2025, Reykjavik, Iceland, September 27?october 3, 2025, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 51322587-n
Comprar nuevo
EUR 44,44
Envío por EUR 2,37
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Frontiers of Combining Systems (Paperback)
Publicado por
Springer Nature Switzerland AG, Cham, 2025
ISBN 10: 303204166X
ISBN 13: 9783032041661
Nuevo
Paperback
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: 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. Nº de ref. del artículo: 9783032041661
Comprar nuevo
EUR 46,87
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Frontiers of Combining Systems
Publicado por
Springer Nature Switzerland AG, CH, 2025
ISBN 10: 303204166X
ISBN 13: 9783032041661
Nuevo
Paperback
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: 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. Nº de ref. del artículo: LU-9783032041661
Comprar nuevo
EUR 51,01
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Frontiers of Combining Systems : 15th International Symposium, Frocos 2025, Reykjavik, Iceland, September 27?october 3, 2025, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 51322587-n
Comprar nuevo
EUR 40,13
Envío por EUR 17,98
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Frontiers of Combining Systems: 15th International Symposium, Frocos 2025, Reykjavik, Iceland, September 27october 3, 2025, Proceedings
Impresión bajo demandaLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 390 pages. 9.26x6.11x9.21 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __303204166X
Comprar nuevo
EUR 48,05
Envío por EUR 14,98
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Frontiers of Combining Systems : 15th International Symposium, Frocos 2025, Reykjavik, Iceland, September 27?october 3, 2025, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 51322587
Comprar usado
EUR 45,58
Envío por EUR 17,98
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Frontiers of Combining Systems
Publicado por
Springer-Verlag Gmbh Sep 2025, 2025
ISBN 10: 303204166X
ISBN 13: 9783032041661
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783032041661
Comprar nuevo
EUR 42,79
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles