Frontiers of Combining Systems, 1st ed. 2021 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings Lecture Notes in Artificial Intelligence Series
Coordonnateurs : Konev Boris, Reger Giles
Date de parution : 09-2021
Ouvrage de 307 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 79,11 €
Ajouter au panierThèmes de Frontiers of Combining Systems :
Mots-clés :
artificial intelligence; computer networks; automated reasoning; computer systems; description logics; formal languages; formal logic; constraint solving; linguistics; decision procedures; network protocols; ontologies; reasoning; semantics; software architecture; software design; software engineering; software quality; verification; verification and validation