欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Fedora Digital Repository
来自开放百科 - 灰狐
Fedor Digital Repository 是一个通用的数字存储项目。由弗吉尼亚大学图书馆和科内尔大学研制。它利用网页技术,比如XML技术以及其它技术进行分布式数字信息系统管理以及提供相关服务。系统默认采用的标准是都柏林元数据集。通过元数据,可以进行OAI元数据采集。
分享您的观点