Continuous Logic
收藏DataCite Commons2024-12-16 更新2025-04-16 收录
下载链接：
https://service.tib.eu/ldmservice/dataset/b3329f35-b6df-44a6-805a-1ac34b5aac01
下载链接
链接失效反馈官方服务：
资源简介：
The dataset used in the paper is a collection of pocrims, hoops, and coops, which are used to model the semantics of continuous logic.
提供机构：
TIB
创建时间：
2024-12-16
