for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the refereed proceedings of the 9th International Conference on Web Reasoning and Rule Systems, RR 2015, held in Berlin, Germany, in August 2015. The RR conference welcomes original research from all areas of Web Reasoning and Rule Systems.
The 19 selected papers presented were carefully revised and report from... Læs mere
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015.
This two volume set LNCS 10041 and LNCS 10042 constitutes the proceedings... Læs mere
This two volume set LNCS 10041 and LNCS 10042 constitutes the proceedings... Læs mere