Filter
Søkt på: Søkeresultat
Filter
totalt 2 treff
The Semantic Web – ISWC 2017
heftet,
2017,
Engelsk,
ISBN 9783319682037
The two-volume set LNCS 10587 + 10588 constitutes the refereed proceedings of the 16th International Semantic Web Conference, ISWC 2017, held in Vienna, Austria, in October 2017. …
Intelligent Computer Mathematics
heftet,
2013,
Engelsk,
ISBN 9783642393198
This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International …