🌐 互联精选

Euler Yet Another Proof Engine

🌐 访问网站
📝 描述
Semantic web proof engine supporting RGB mixed computation, It is a semibackward reasoner enhanced with Euler path detection, Via N3 it is interoperable with Cwm.
⭐ 用户评价

暂无评价

发表评价
🔗 相关条目
Miami University of Ohio
RedStore
Extending faceted navigation for RDF data
University of Bergen: Department of Earth Science
📂 分类
文化艺术 商业 计算机 游戏 健康 新闻媒体 消遣娱乐 社会生活 体育 教育 论坛 司法 人事 全国人民代表大会 科学 未分类网站链接
📞 联系方式
👁️ 1 次浏览 🔗 0 次点击
✉️ 发送咨询
📤 分享
Facebook Twitter WhatsApp Email 微信 📩 告诉朋友
🚩 举报此条目