Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

• अन्य लेखक: Sattler, Uli (संपादक), Suda, Martin (संपादक)
• स्वरूप: इलेक्ट्रोनिक पुस्तक अध्याय
• भाषा: अंग्रेज़ी
• प्रकाशित: Cham Springer Nature 2023
• श्रृंखला: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence 14279
• विषय: Artificial intelligence; Software Engineering; Computer networking & communications; Computer programming / software development; Mathematical theory of computation; 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
• ऑनलाइन पहुंच: OAPEN Library: download the publication; OAPEN Library: description of the publication