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 - 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.
EUR 55,52
EUR 17,03 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 33,48
EUR 5,49 gastos de envío desde Italia a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Frontiers of Combining Systems: 15th International...
Imagen de archivo
Frontiers of Combining Systems (eng)
Librería: Brook Bookstore, Milano, MI, Italia
Calificación del vendedor: 4 de 5 estrellas
Condición: new. Nº de ref. del artículo: VBIVD3UXAJ
Cantidad disponible: 5 disponibles
Imagen de archivo
Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings (Lecture Notes in Computer Science, 15979)
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: V9783032041661
Cantidad disponible: 15 disponibles
Imagen de archivo
Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 ? October 1, 2025, Proceedings (Lecture Notes in Computer Science, 15979)
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: V9783032041661
Cantidad disponible: 15 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: S0-9783032041661
Cantidad disponible: 5 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
Cantidad disponible: 2 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
Cantidad disponible: 2 disponibles
Imagen del vendedor
Frontiers of Combining Systems : 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings
Publicado por
Springer-Verlag Gmbh, 2025
ISBN 10: 303204166X
ISBN 13: 9783032041661
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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: 9783032041661
Cantidad disponible: 2 disponibles
Imagen de archivo
Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings (Lecture Notes in Computer Science, 15979)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783032041661
Cantidad disponible: Más de 20 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
Cantidad disponible: 15 disponibles
Imagen de archivo
Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings (Lecture Notes in Computer Science, 15979)
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9783032041661
Cantidad disponible: 2 disponibles