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

Related content

Interactive system for geomagnetic data analysis

By  

E3S Web of conferences, Vol. 20, Iss. issue, 2017-10 ,pp. : 02015-02015

Edp Sciences

Access to resources Recommend Favorite

Interactive Online Advertising: The Effectiveness of Marketing Strategy towards Customers Purchase Decision

By  

MATEC Web of conference, Vol. 150, Iss. issue, 2018-02 ,pp. : 05043-05043

Edp Sciences

Access to resources Recommend Favorite

Distributed system for extended field measurements of sonic booms

By Veggeberg Kurt  

INTER-NOISE and NOISE-CON Congress and Conference Proceedings, Vol. 2009, Iss. 6, 2009-08 ,pp. : 1088-1094

Institute of Noise Control Engineering

Access to resources Recommend Favorite

The design and prototype of RUDA, a distributed grid accounting system

By Chen Meili   Geist Al   Bernholdt David E.   Chanchio Kasidit   Million Daniel L.  

International Journal of Critical Infrastructures, Vol. 4, Iss. 3, 2008-03 ,pp. : 296-307

Inderscience Publishers

Access to resources Recommend Favorite

Impact of Distributed Generation Capacity on the Voltage of DistributionSystem

By  

MATEC Web of conference, Vol. 31, Iss. issue, 2015-11 ,pp. : 08006-08006

Edp Sciences

Access to resources Recommend Favorite