Copertina

Frontiers of Combining Systems

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...

Descrizione completa

Salvato in:
Natura: Online
Lingua:inglese
Pubblicazione: Springer Nature 2025
Soggetti:
Open Access
artificial intelligence
computer networks
automated reasoning
computer systems
description logics
formal languages
formal logic
constraint solving
decision procedures
network protocols
ontologies
semantics
software architecture
software design
software engineering
software quality
verification and validation
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
thema EDItEUR::U Computing and Information Technology::UK Computer hardware
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
Accesso online:ONIX_20251020T130859_9783032041678_30
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

ONIX_20251020T130859_9783032041678_30

Documenti analoghi