Results 91 to 100 of about 784 (107)
Some of the next articles are maybe not open access.

Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits

Electronic Notes in Theoretical Computer Science, 2004
Jesper Bengtson, Michael Baldamus
exaly  

Comparison of Major Compounds in Illicii Veri Fructus by Extraction Solvents

The Korea Journal of Herbology, 2013
Byeong Cheol Moon   +2 more
exaly  

可验证计算研究进展

Scientia Sinica Informationis, 2015
exaly  

Home - About - Disclaimer - Privacy