Distributed Online Judge System for Interactive Theorem Provers

Author: Mizuno Takahisa  

Publisher: Edp Sciences

E-ISSN: 2100-014x|68|issue|00016-00016

ISSN: 2100-014x

Source: EPJ Web of Conference, Vol.68, Iss.issue, 2014-03, pp. : 00016-00016

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract