Cops and CoCoWeb: Infrastructure for Confluence Tools

机译：警察和CoCoweb：汇合工具的基础设施

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper we describe the infrastructure supporting confluence tools and competitions: Cops, the confluence problems database, and CoCoWeb, a convenient web interface for tools that participate in the annual confluence competition.

机译：在本文中，我们描述了支持汇合工具和竞争的基础设施：警察，汇合问题数据库和CoCoweb，一种方便的Web界面，用于参与年度交汇率竞争的工具。

著录项

来源
《International Joint Conference on Automated Reasoning》|2018年|724p|共8页
会议地点
作者
Nao Hirokawa; Julian Nagele; Aart Middeldorp;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP18-53;
关键词

相似文献

外文文献
中文文献
专利

1. Infrastructure Rating Tool: Using Decision Support Tools to Enhance ASCE Infrastructure Report Card Process [J] . Adio A.Amekudzi, Rebecca Shelton, Tim R.Bricker Leadership and management in engineering . 2013,第2期

机译：基础结构评估工具：使用决策支持工具来增强ASCE基础结构报告卡流程
2. COP21 Roadmap: Do innovation, financial development, and transportation infrastructure matter for environmental sustainability in China? [J] . Muhammad Umar, Xiangfeng Ji, Dervis Kirikkaleli, Journal of Environmental Management . 2020,第Octa1期

机译：COP21路线图：在中国进行创新，金融开发和运输基础设施，在中国环境可持续性方面的重要性吗？
3. COPS: a model and infrastructure for secure and fair electronic markets [J] . Alexander W. Rohm, Gunther Pernul Decision support systems . 2000,第4期

机译：COPS：安全和公平的电子市场的模型和基础架构
4. Cops and CoCoWeb: Infrastructure for Confluence Tools [C] . Nao Hirokawa, Julian Nagele, Aart Middeldorp Automated reasoning . 2018

机译：警察和CoCoWeb：融合工具的基础结构
5. Situating digital tools through ubiquitous virtuality: Confluences of art, architecture, and activity in HCI [D] . Bessa, Romeu Luiz de Castro 2008

机译：通过无处不在的虚拟化来定位数字工具：HCI中的艺术，建筑和活动的融合
6. Confluence: A Seminar Series as a Teaching Tool [O] . Bryan M. Dewsbury, Amy Reid, Ophelia Weeks 2013

机译：合流：研讨会系列作为教学工具
7. Cops and CoCoWeb: Infrastructure for Confluence Tools [O] . Nao Hirokawa, Julian Nagele, Aart Middeldorp 2018

机译：警察和CoCoweb：汇合工具的基础设施

Cops and CoCoWeb: Infrastructure for Confluence Tools

摘要

著录项

相似文献

相关主题

期刊订阅