FranzEtAl-2017-SupplementaryMaterials-S1
收藏数据链接:
官方服务:
资源简介:
SUPPLEMENTARY MATERIALS S1. – Answer Set Programming code (.txt), with extensive comments, to perform the 20 nomenclatural taxon use case in conjunction with the Potassco solver clingo. See also Table 1.
补充材料S1:包含带有详细注释的回答集编程(Answer Set Programming)代码(文件格式为.txt),用于配合Potassco求解器clingo实现20个分类群命名用例。另见表1。
创建时间:
2017-05-08
搜集汇总
数据集介绍

以上内容由遇见数据集搜集并总结生成



