학술논문
Logic fragments: Coordinating entities with logic programs
Document Type
Conference Paper
Source
In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9952 LNCS:589-604)
Subject
Language
English
ISSN
16113349
03029743
03029743